/common.pike/1.1/Sun Feb 27 07:34:33 2000//
/standard.pike/1.1/Sun Feb 27 07:34:33 2000//
D
