DEFINITION MODULE ALib;
VAR aval : INTEGER;
END ALib.