0xffffffffc031def0
