Dining_cryptographers_protocol loading ...