WASH.CGI.PPM
data Pixmap
type Pixel
type Color
data Picture