let profiling = ref false