procedure main() every|write(write(read())) end