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