@x
typedef integer verdschlue  ;
@y
typedef unsigned long verdschlue  ;
@z

@x
typedef mdbk * mdbknoten  ;
typedef mdmk * mdmknoten  ;
typedef mdlk * mdlknoten  ;
typedef mdek * mdeknoten  ;
typedef struct {
    wort w12 ;
  integer l1 ;
  trennvektor tr1 ;
  boolean neu1 ;
  boolean del1 ;
  boolean used1 ;
  mdbknoten li, re ;
} mdbk  ;
typedef struct {
    wort w12 ;
  integer l1 ;
  trennvektor tr1 ;
  boolean neu1 ;
  mdmknoten li, re ;
} mdmk  ;
typedef struct {
    wort w12 ;
  integer l1 ;
  mdlknoten li, re ;
} mdlk  ;
typedef struct {
    wort w12 ;
  integer l1 ;
  mdeknoten li, re ;
} mdek  ;
@y
typedef struct mdbk {
    wort w12 ;
  integer l1 ;
  trennvektor tr1 ;
  boolean neu1 ;
  boolean del1 ;
  boolean used1 ;
  struct mdbk * li, * re ;
} mdbk  ;
typedef struct mdmk {
    wort w12 ;
  integer l1 ;
  trennvektor tr1 ;
  boolean neu1 ;
  struct mdmk * li, * re ;
} mdmk  ;
typedef struct mdlk {
    wort w12 ;
  integer l1 ;
  struct mdlk * li, * re ;
} mdlk  ;
typedef struct mdek {
    wort w12 ;
  integer l1 ;
  struct mdek * li, * re ;
} mdek  ;
typedef mdbk * mdbknoten  ;
typedef mdmk * mdmknoten  ;
typedef mdlk * mdlknoten  ;
typedef mdek * mdeknoten  ;
@z