include src/instr/instr_paje_trace.cpp
include src/instr/instr_paje_types.cpp
include src/instr/instr_paje_types.hpp
-include src/instr/instr_paje_values.cpp
include src/instr/instr_paje_values.hpp
include src/instr/instr_platform.cpp
include src/instr/instr_private.hpp