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