prog;

var f : bool

begin
  var a : bool

  write f;
  write !f;
  write a;
  write !a;

  write f, !f, a, !a;

  a := !f;
  f := !a;

  write f, !f, a, !a;

end;
end prog