const encodeInto_methodinfo: JSJitInfo;