pub open spec fn swap5_4<A, B, C, D, E>(i: (E, (A, (B, (C, D))))) -> (A, (B, (C, (D, E))))
{ (i.1.0, (i.1.1.0, (i.1.1.1.0, (i.1.1.1.1, i.0)))) }