request_mutex (chain, array_length (chain), MTX_READ, () {
                                                           ...
                                                         }),
{ 
  chain[] = { mutex_1, mutex_2, ... } 
};