S.Registers
module Domain = Domain
val registers : (string * int) list
val initial_value : Domain.Context.t -> (string * int) -> Domain.binary