anchor.diff:  
       String toString() {
           return "GridPont(" + x.toString() + "," + y.toString() + ")";
  +    }
  +
  +    String toSimpleString() {
  +        return "(" + x.toString() + "," + y.toString() + ")";
       }
   
       int get hashCode {
  
positive.code:         //window.console.debug("draw square: " + p.toString());
  
          var sq = grid.getSquare(p);
          if (sq.isOccupied()) {
              //window.console.debug("draw cell");
              sq.occupant.drawOnCell(ctx, x, y, boxDimX, boxDimX);
  
negative.code: // x status text
  
  void main() {
      var dungeon = startDungeon();
      ButtonElement button = querySelector('#reset');
      button.onClick.listen( (e) {
          // dungeon.restart(); // not sure why this does not work
          startDungeon();
      });
  }
  