Index
| exit
exit:
He (or she) goes out.