swap_{_,U,Z} Init
U
Z U U Z Z
swap_{_,U,Z} Q1_(U)
_
Z
U U Z Z
swap_{_,U,Z} Q2_(Z)
_
U U U Z Z
swap_{_,U,Z} Acc
Z
U
U U Z Z