*/
  public void normal3f (float x, float y, float z) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 30, 16);
      o.write_float (x);
      o.write_float (y);
      o.write_float (z);
    }
  }