can modify csv_contract without changing its state #28