E);  contracts->add_contract(contracts, c0);   /* retrieve this contract */  cx = contracts->get_contract(contracts, msg_type0, TRUE, 0);  ck_assert(cx == c0);   /* received contract request for msg_type0 as responder */  cx = contracts->get_contract(contracts, msg_type0, FALSE, 0);  ck_assert(cx == NULL);   /* add directed contract as responder */  c0 = seg_contract_create(msg_type0, max_attr_size, max_seg_size,         FALSE, 0, FALSE);  c0->set_responder(c0, 0);  contracts->add_contract(contracts, c0);   /* retrieve this contract */  cx = contracts->get_contract(contracts, msg_type0, FALSE, 0);  ck_assert(cx == c0);   