file_state_manager
