const write_methodinfo: JSJitInfo;