procedure main() while writes(!reads(,2)) end