const performance_getterinfo: JSJitInfo;