Disabled code contracts.