prog;

begin
  var a : int;
  var b : 5;
  var c : int

  a := 5;
  c := 999;

  write 5 <> a;
  write a <> 5;
  write b <> a;
  write a <> b;
  write a <> c;
  write c <> a;
  write a <> a;

end;
end prog