set(TRACING_SRC
src/instr/instr_config.cpp
src/instr/instr_interface.cpp
+ src/instr/instr_paje_containers.hpp
src/instr/instr_paje_containers.cpp
src/instr/instr_paje_header.cpp
src/instr/instr_paje_trace.cpp
+ src/instr/instr_paje_types.hpp
src/instr/instr_paje_types.cpp
src/instr/instr_paje_values.cpp
src/instr/instr_private.hpp