const takeRecords_methodinfo: JSJitInfo;