procedure main() while write(42 ~= read()) end