const translate_getterinfo: JSJitInfo;