IMPLEMENTATION MODULE L2Mod;
FROM L1Mod IMPORT a;
BEGIN
  b := a * 2
END L2Mod.