MODULE Texture2DGray =
  Texture2D(Gray, ImageFilePGM)
END Texture2DGray.