DataContractCodec now passes the tests