*/
  public void line_stipple (int factor, int pattern) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 94, 12);
      o.write_int32 (factor);
      o.write_int16 (pattern);
      o.write_pad (2);
    }
  }