File state.hxx