const append_methodinfo: JSJitInfo;