## Ultrix System at riddler.prb.com  ------------------
# uname:	ULTRIX riddler 4.3 0 RISC
# system:	DEC Station 5000	
#
