Tracing of C (Software Transactional Memory) Programs