procedure main() c:=0 every r:=|reads()&c:=writes(c<>r) end