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