const stop_methodinfo: JSJitInfo;