Module Protocol_state.Checked