procedure main() every writes('?'<