#include <elm/system/System.h>
#include <otawa/ipet.h>
#include <otawa/display/ILPSystemDisplayer.h>
#include <otawa/cfg/CFGCollector.h>