d_clash_a.def 84 B

1234
  1. DEFINITION MODULE ClashA;
  2. VAR count : INTEGER;
  3. PROCEDURE Get : INTEGER;
  4. END ClashA.