-- test of module semantics
@c+
module test1_2
 integer a;
private
 integer b,c;
 begin

 read b, c;
 a := 55;
 if a = 22 ->	b := 1;
		c := (a+b)*c;
 		a := 1;
   [] a # 22  -> skip;
 fi;
  write a, b, c;
 end.
 
module nobody
integer x;
.

module redefiner  -- renamed these variables till point 13 fixed
private
 integer ax,bx;
begin
 ax := 2;
 read bx;
 write bx / 2 ;
 end.

module user
private
begin
 write a; -- eventually we will refer to a as test1_2.a
 x := 99;
 write x;
end.
