Module One_hot.Checked