d_clash_b.def 84 B

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