The function that handles this is the on_exit of the game lost state. This function is not meant to be permanent, but is just a placeholder while we decide what we actually want to do when game over is reached.
Drew