int a, b;                                    ...                                    
...                                          state = _ITM_beginTransaction()        
__transaction_atomic {                  <L1>:                                       
    if (a == 0)                              if (state & a_abortTransaction)        
        b = 1;                                   goto <L3>;                         
    else                                     else                                   
        a = 0;                                   goto <L2>;                         
}                                       <L2>:                                       
...                                          if (_ITM_LU4(&a) == 0)                 
                                                 _ITM_WU4(&b, 1);                   
                                             else                                   
                                                 _ITM_WU4(&a, 0);                   
                                             _ITM_commitTransaction();              
                                        <L3>:                                       
                                             ...                                    
/*Исходная Транзакционная секция*/      /*Трансформированная транзакционная секция*/
