9 * Shuts down the Glk program. This function does not return.
11 * If you print some text to a window and then shut down your program, you can
12 * assume that the player will be able to read it.
15 * You should only shut down your program with glk_exit() or by returning from
16 * your glk_main() function. If you call the ANSI <function>exit()</function>
17 * function, bad things may happen. This Glk library is designed for multiple
18 * sessions, for example, and you would be cutting off all the sessions instead
19 * of just yours. You would also prevent final text from being visible to the