#include <otawa/app/Application.h>
#include <otawa/proc/ProcessorPlugin.h>
#include <otawa/util/FlowFactLoader.h>
#include <otawa/util/SymAddress.h>