DEFINITION MODULE BLib; VAR bval : INTEGER; PROCEDURE GetB : INTEGER; END BLib.