module Nonterm_run: sig .. end
sig
end
Register the plugin in the Frama-C kernel. Nothing is exported.