t = {
    mutable level : contents;
    size : contents;
  }