const disable_methodinfo: JSJitInfo;