DEFINITION MODULE SysStorage; (* gm2's raw heap interface (libc malloc/free/realloc). ISO's Storage offers the same ALLOCATE/DEALLOCATE with an explicit REALLOCATE signature; SysStorage's REALLOCATE takes only the new size. *) FROM SYSTEM IMPORT ADDRESS; PROCEDURE ALLOCATE (VAR a : ADDRESS; size : CARDINAL); PROCEDURE DEALLOCATE (VAR a : ADDRESS; size : CARDINAL); PROCEDURE REALLOCATE (VAR a : ADDRESS; size : CARDINAL); PROCEDURE Available (size : CARDINAL) : BOOLEAN; PROCEDURE Init; END SysStorage.