const receiveRecordOfNullableInts_methodinfo: JSJitInfo;