Activated and partially configured code contracts.