# Test of lazy OR operator
# If the OR operator is lazy, the test will terminate
var b : bool;

func c () : bool
  var d : int;
  d = 0;
  while ( !b ) do
  {
    d = d + 1;
    b = false;
  } 
  b = false;
  return true;
end c

b = true;

if ( c() || c() ) then write 0; else write 1;

