pub type RegularFunction<Arch> = Function<Arch, Finalized, NonSSA<RegularNonSSA>>;
struct RegularFunction<Arch> { /* private fields */ }