Support for x32 ABI