TYPE
   Str: ARRAY 64 OF CHAR;
   Item = POINTER TO ItemDesc;
   ItemDesc = RECORD next: Item; name: Str END;
   ItemExt = POINTER TO RECORD (ItemDesc) field: INTEGER END;

PROCEDURE Add (VAR list: Item; i: Item);
BEGIN
   IF list = NIL THEN
      list := i
   ELSE
      (* добавляем i в список list*)
   END
END Add;

PROCEDURE Add (list, i: Item): Item;
BEGIN
   IF list = NIL THEN
      RETURN i
   ELSE
      (* добавляем i в список list*)
      RETURN list
   END
END Add;

VAR list, new: ItemExt;
...
   NEW (new); new.name := ...
   list := Add (list, new)(ItemExt);

tmp := Add (list, new); list := tmp(ItemExt);

VAR list: Item;
  new1: ItemExt1;
  new2: ItemExt2;
...
Add(list, new1);
Add(list, new2);

list := list.next

list := list.next (ItemExt)

IF list.next # NIL THEN list := list.next (ItemExt) END

PROCEDURE Add (list, i: Item);
(* Add new item i to the list. The list is sorted by name, ascending. The first item in the list is a fake root. *)
BEGIN
   ASSERT (i # NIL, 20);
   ASSERT (i.next = NIL, 21);
   ASSERT (i.name # '', 22);
   ASSERT (list # NIL, 23);
   ASSERT (list.name = '', 24);
   WHILE (list.next # NIL) & (i.name > list.next.name) DO
      list := list.next
   END;
   i.next := list.next;
   list.next := i
END Add;

IF list.next # NIL THEN list := list.next (ItemExt) ELSE list := NIL END