added a way to print out the save state