const translate_methodinfo: JSJitInfo;