trick/trick_source/sim_services/Executive/Executive_post_checkpoint.cpp