procedure main()

until integer(a) do {
   writes("Enter the first integer a := ")
   write(a := read())
   }

until integer(b) do {
   writes("Enter the second integer b := ")
   write(b := read())
   }
writes("Then ")
write(a," < ", a < b)
write(a," = ", a = b)
write(a," > ", a > b)
end