/src/tools/tracegen/