Module TacHavoc

module TacHavoc: sig .. end
Built-in Havoc Tactical (auto-registered)

module Havoc: sig .. end
module Separated: sig .. end