do_exit and do_EOF are small and useful enough to be 'default' methods.