GlobalFini callback

Used to clean up any global variables used by the other callbacks; called once per mlreplay instance.

 Syntax
 Parameters