M2compiler-V3/compiler/tests/d_basic.mod

IMPLEMENTATION MODULE DLib;
(* Library implementation; BEGIN body initializes counter. *)
PROCEDURE Add(a, b : INTEGER) : INTEGER;
BEGIN
  RETURN a + b
END Add;

PROCEDURE Bump;
BEGIN
  counter := counter + 1
END Bump;

BEGIN
  counter := 5
END DLib.