Legacy_s_memory (gillian.Gillian.Symbolic.Legacy_s

module type S = Legacy_s_memory.S

module Dummy = Engine.Legacy_s_memory.Dummy

module Modernize = Engine.Legacy_s_memory.Modernize