// @(#)$Id: List.pri,v 1.2 1997/01/05 01:54:34 leavens Exp $
// no protected or private members