const receiveRecordOfRecords_methodinfo: JSJitInfo;