Dropping code contracts.