save_game_state_to_disk()

void save_game_state_to_disk	(	unsigned long	,
		class std::basic_string< char, struct std::char_traits< char >, class std::allocator< char > >
	)