While a b do c a b