First code contribution, from INRIA SoC-Trace repository.