const save_methodinfo: JSJitInfo;