/tests/lean/hashmap_on