DEFINITION MODULE TDef; CONST C = 10; TYPE T; VAR x : INTEGER; END TDef.