*/
  public void load_matrixf (float [] matrix) {
    RequestOutputStream o = display.out;
    synchronized (o) {
      begin_render_request (o, 177, 68);
      for (int i = 0; i < 16; i++)
        o.write_float (matrix [i]);
    }
  }