Module Local_state.Checked