MCPRegistry.DomainListSysVarSpec
val assoc_dom : int -> (module Analyses.SpecSysVar)
val domain_list : unit -> (int * (module Analyses.SpecSysVar)) list