const debug_methodinfo: JSJitInfo;