{ 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.
