text: /*
   * debugFunctions.h
   *
   *  Created on: 7 déc. 2016
   *      Author: simon
   */
  
  #ifndef INCLUDES_LIB_DEBUGFUNCTIONS_H_
  #define INCLUDES_LIB_DEBUGFUNCTIONS_H_
  
  #include <dbt/dbtPlateform.h>
  
  void debugFirstPassResult(DBTPlateform platform, int start, int end, int sourceBinariesStartAddress);
  
  #endif /* INCLUDES_LIB_DEBUGFUNCTIONS_H_ */
  