terpHash Mutex; Mk*Counters