<> <> <<>> <> <> IPLimits: CEDAR DEFINITIONS = BEGIN maxInteger: INT = 16777215; -- 2^24 - 1 maxIdLength: NAT = LAST[NAT]; -- number of characters in an identifier maxStackLength: NAT = LAST[NAT]; -- number of values on the operand stack maxVecSize: NAT = LAST[NAT]; -- number of elements in a vector maxStringLength: NAT = LAST[NAT]; -- number of characters in a string topFrameSize: NAT = 50; -- number of elements in initial frame END.