*/
  public void depth_mask (boolean flag) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 135, 8);
      o.write_bool (flag);
      o.write_pad (3);
    }
  }