DEFINITION MODULE Frames; (*J. Gutknecht, 19.10.84*)
TYPE FramePointer = CARDINAL;
CONST nil = 0;
PROCEDURE Allocate (bma: FramePointer; size: CARDINAL);
END Frames.