DEFINITION MODULE DLib;
VAR counter : INTEGER;
END DLib.