x86 ABI compliance