pub type Lifter<Arch> = Function<Arch, Mutable, NonSSA<LiftedNonSSA>>;
struct Lifter<Arch> { /* private fields */ }