proc add(d: Dot; n1, n2: string; meth: string) {....raises: [KeyError], tags: [],
    forbids: [].}

proc addPatt(d: Dot; name: string; len: int) {....raises: [], tags: [], forbids: [].}

proc dump(d: Dot) {....raises: [], tags: [], forbids: [].}

proc newDot(name: string): Dot {....raises: [], tags: [], forbids: [].}