printlist(l : LISTINT) is
      local
	 m : LISTINT
      do
	 from m := l
	 until m = Void
	 loop
	    print(m.head); print('%N')
	    m := m.tail
	 end -- loop
      end -- printlist