check_deter_state.h 723 Bytes