X32 and case