MODULE TClassDefProg;
(* Uses a class declared in a DEFINITION module as a data value
   (field layout through the definition). Exit 8. *)
IMPORT TClassDef;
VAR ExitCode : INTEGER;
VAR s : TClassDef.Shape;
BEGIN
  s.x := 3;
  s.y := 4;
  s.kind := 1;
  ExitCode := s.x + s.y + s.kind
END TClassDefProg.