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