// @(#)$Id: intlist.pri,v 1.2 1997/01/05 02:51:55 leavens Exp $

private:
  int car;
  listelem * cdr;
  // abstraction function: A(*this) = [car, cdr]