(do ((a (処理A 初期値) (処理A (処理B a))))
((終了条件 a)))
になるように処理A、処理B、終了条件を書くとか。

(do ((a 初期値 (処理B a)))
((終了条件 (処理A a))))
こうなれば一番いいけど。