*/
  public void accum (int op, float value) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 137, 12);
      o.write_int32 (op);
      o.write_float (value);
    }
  }