addEndFunction -- add an ending function

• Usage:

  addEndFunction f

• Inputs:
  • f, a function
• Consequences:

  • When the program is about the exit, the function f will be called, with no arguments.