*/
  public void map_grid1d (int un, double u1, double u2) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 147, 24);
      o.write_double (u1);
      o.write_double (u2);
      o.write_int32 (un);
    }
  }