MAKE.Reg
module Domain : Binsec_codex_lib.Codex.Domain_sig.Base
val registers : (string * int) list
val initial_value : Domain.Context.t -> (string * int) -> Domain.binary