Module Special_hooks

module Special_hooks: sig .. end

Nothing is exported: just register some special hooks for Frama-C.