x64 type wrap out 3