main(): void {

   a, b  : int;
   {  
    if (a>3)
      then
         b = 4
      else {
         a = 3;
         b = 9
      };
    
    if (b>4)
      then {
         a = 3;
         b = 9
       }
      else 
         b = 1000
   }
}