const performance_setterinfo: JSJitInfo;