sbsize: INTEGER;
   m: StdModel;

   IF msg.vertical THEN
      ps := h (* f.b - f.t *); vs := b + t; p := -v.y
   ELSE
      ps := w (* f.r - f.l *) ; vs := r + l;  p := -v.x
   END;

   IF v.model IS StdModel THEN
      m := v.model(AS StdModel);
      IF m.unit > 0 THEN sbsize := m.param.sbThickness * (Ports.point - Ports.point MOD m.unit)
      ELSE sbsize := 0
      END
   ELSE m := NIL; sbsize := 0
   END;
   IF msg.vertical THEN
      ps := h (*f.b - f.t*); vs := b + t; p := -v.y;
      IF (m # NIL) & ~m.showH THEN sbsize := 0 END
   ELSE
      ps := w (*f.r - f.l*); vs := r + l; p := -v.x;
      IF (m # NIL) & ~m.showV THEN sbsize := 0 END
   END;
   vs := MAX(0, vs - sbsize);

   PROCEDURE (d: Document) PollRect* (OUT l, t, r, b: INTEGER);
   BEGIN
      DoRecalc(d, 0, ~forceRecalc);
      l := (*d.clipper.l +*) d.model.l; t := (*d.clipper.t +*) d.model.t;
      r := (*d.clipper.l +*) d.model.r; b := (*d.clipper.t +*) d.model.b
      END
   END PollRect;

   PROCEDURE (d: Document) GetRect* (f_: Views.Frame; view: Views.View; OUT l, t, r, b: INTEGER);
   VAR c: Models.Context;
   BEGIN ASSERT(view # NIL, 20); c := view.context; ASSERT(c # NIL, 21);
      IF view = d.model.view THEN
         d.PollRect(l, t, r, b);
         INC(l, d.clipper.l); INC(t, d.clipper.t);
         INC(r, d.clipper.l); INC(b, d.clipper.t);
         INC(l, d.x); INC(t, d.y); INC(r, d.x); INC(b, d.y)
      ELSE HALT(126)
      END
   END GetRect;