module Dynamic_plugins:sig
..end
This module contains all the dynamically registered plugins
module Print_api:sig
..end
module Aorai:sig
..end
module RteGen:sig
..end
module Security_slicing:sig
..end
module Wp:sig
..end
module Report:sig
..end
module Obfuscator:sig
..end
module E_ACSL:sig
..end