Add an example of a recursive main I/O ()