*/
  public void polygon_offset (float factor, float units) {
    // TODO 1.3: opcode = 192
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 4098, 12);
      o.write_float (factor);
      o.write_float (units);
    }
  }