procedure Draw is

      use Lumen;

      use type GL.Bitfield;

   begin  -- Draw

      GL.ClearColor (0.0, 0.0, 0.0, 0.0);
      GL.Clear (GL.GL_COLOR_BUFFER_BIT);

      GL.glBegin (GL.GL_TRIANGLES);
      begin
     -- V0
     GL.MultiTexCoord (GL.GL_TEXTURE0, Float (0.0), 1.0);
     GL.MultiTexCoord (GL.GL_TEXTURE1, Float (0.0), 1.0);
         GL.Vertex (Float (-1.0),  1.0);

     -- V1
     GL.MultiTexCoord (GL.GL_TEXTURE0, Float (0.0), 0.0);
     GL.MultiTexCoord (GL.GL_TEXTURE1, Float (0.0), 0.0);
         GL.Vertex (Float (-1.0), -1.0);

     -- V2
     GL.MultiTexCoord (GL.GL_TEXTURE0, Float (1.0), 0.0);
     GL.MultiTexCoord (GL.GL_TEXTURE1, Float (1.0), 0.0);
         GL.Vertex (Float ( 1.0), -1.0);

     -- V0
     GL.MultiTexCoord (GL.GL_TEXTURE0, Float (0.0), 1.0);
     GL.MultiTexCoord (GL.GL_TEXTURE1, Float (0.0), 1.0);
         GL.Vertex (Float (-1.0),  1.0);

     -- V2
     GL.MultiTexCoord (GL.GL_TEXTURE0, Float (1.0), 0.0);
     GL.MultiTexCoord (GL.GL_TEXTURE1, Float (1.0), 0.0);
         GL.Vertex (Float ( 1.0), -1.0);

     -- V3
     GL.MultiTexCoord (GL.GL_TEXTURE0, Float (1.0), 1.0);
     GL.MultiTexCoord (GL.GL_TEXTURE1, Float (1.0), 1.0);
         GL.Vertex (Float ( 1.0),  1.0);
      end;
      GL.glEnd;
      GL.Flush;

      -- Now show it
      Lumen.Window.Swap (Win);

   end Draw;