const translate_setterinfo: JSJitInfo;