IMPLEMENTATION MODULE L1Mod;
BEGIN
  a := 5
END L1Mod.