|=  n=@
=/  disk=@  n
=/  src=@  1
=/  aux=@  2
=/  dst=@  3
|-
^-  (list @)
?:  =(1 disk)
  [src [dst ~]]
(weld (weld $(disk (dec disk), aux dst, dst aux) [src [dst ~]]) $(disk (dec disk), src aux, aux src))