MODULE CDefProg; IMPORT CDef; VAR ExitCode : INTEGER; VAR s : CDef.Shape; BEGIN s.x := 8; ExitCode := s.x END CDefProg.