procedure main() every write(!&input) end