Module all_to_c
This structure is used by any participant other than C to receive a choice given by C.