Types for Crash-Prevention
Last modified: Mon Dec 11 14:51:39 MET 2000