TLLifter.Gil
module Lifter : Gil_lifter.S with type memory = SMemory.t
val get_state : unit -> Lifter.t