Call convention ABI S32 is enabled by option