hand-KNF the remaining bits
hand-KNF macro the do { } while loops