const mark_methodinfo: JSJitInfo;