IMPLEMENTATION MODULE DLib;
VAR total : INTEGER;
PROCEDURE Add(n : INTEGER);
BEGIN
  total := total + n;
  counter := counter + n
END Add;
PROCEDURE Get() : INTEGER;
BEGIN
  RETURN total + counter + step
END Get;
BEGIN
  (* preset proves the init body runs: zeroed globals would read 0 *)
  total := 0;
  counter := 2
END DLib.