<> <> <> LFUtil: CEDAR DEFINITIONS ~ BEGIN AbortAdjust: SIGNAL; GetArea: PROC RETURNS [sMin, fMin: INTEGER, sSize, fSize: NAT]; <> END.