gesamt/codeb_abgabe_bh.call

   1 typedef struct list {struct list *next; long val;} list;
   2 list *insert(list *, long, list *);
   3 list a={NULL,7};
   4 list b={NULL,2};
   5 RET((&a)==insert(&a, 3, &b) &&
   6      a.next==&b && a.val==3 && b.next==NULL && b.val==2);