-a-xy-----b--x--cxyz-|

 ----i

          ----i

                ----i

> audit()

-----y--------x-----z|
