added annotations to get unordered_map to compile with TM