DEFINITION MODULE Collections; (* Common definitions for all collection modules *) FROM SYSTEM IMPORT ADDRESS; TYPE CollectionData = ADDRESS; Status = ENUM Success, InvalidSize, InvalidContainer, InvalidData, InvalidProcedure, ContainerEmpty, ContainerOverflow, AllocationFailed END; END Collections.