MODULE testmodule ;

IMPORT Storage ;

BEGIN
   Storage (1)
END testmodule.