*/
  public void normal3d (double x, double y, double z) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 29, 28);
      o.write_double (x);
      o.write_double (y);
      o.write_double (z);
    }
  }