const flush_methodinfo: JSJitInfo;