/tests/lean/hashmap_on_disk/HashmapMain/Clauses/