static MEASURES: LazyLock<Mutex<HashMap<String, Measure>>>
Measurements are aggregated globally (translation is single-threaded but rustc may call us from several threads, hence the mutex).