sclass StringTree1 {
  bool leaf;
  new HashMap<S, StringTree1> children;

  StringTree1 getOrAdd(S s) {
    StringTree1 t = children.get(s);
    if (t == null)
      children.put(s, t = new StringTree1);
    ret t;
  }
}