const encode_methodinfo: JSJitInfo;