!752

p {
  DiskTextMap map = new DiskTextMap("bla");
  print("Map size: " + map.size());
  print("Keys: " + structure(map.keySet()));
  S x = "/\\" + now();
  map.put(x, "Hello " + x);
  print(map.get(x));
}