d_bad_dup.def 57 B

123
  1. DEFINITION MODULE DLib;
  2. VAR counter : INTEGER;
  3. END DLib.