procedure main() every|write(1)\10 end