const lang_setterinfo: JSJitInfo;