code contracts removed