[ Tree (Cell 1:1 1:8 (NodeHeader (HeaderColon "colon1" ""))) []
, Tree (Cell 2:1 2:8 (NodeHeader (HeaderColon "colon2" ""))) []
]