pub static UPDATE_STATES: Lazy<Mutex<HashMap<String, TexState>>>
Map key is the TeX source filename (with extension).