Image instantiators come in many formats: @code{xbm}, @code{xpm},
@code{gif}, @code{jpeg}, etc. This describes the format of the data
describing the image. The resulting image instances also come in many
Image instantiators come in many formats: @code{xbm}, @code{xpm},
@code{gif}, @code{jpeg}, etc. This describes the format of the data
describing the image. The resulting image instances also come in many