pub const ffi_status_FFI_BAD_ARGTYPE: u32 = 3; // 3u32