make the payload of IArg an Int32, to match the C type