MEDIUM: Handle x32 ABI