$use StdIO; $channel C; Main = { ; , $fail; ; , $fail; ; };