M2compiler-V1/tests/b_libimpl.mod

IMPLEMENTATION MODULE BLib;
IMPORT ALib;
PROCEDURE GetB : INTEGER;
BEGIN
  RETURN bval + ALib.aval
END GetB;
BEGIN
  bval := 2
END BLib.