pub type SSAFunction<Arch> = Function<Arch, Finalized, SSA>;
struct SSAFunction<Arch> { /* private fields */ }