Support x32 ABI