---- do { b(); } while (a) ---- loop b() unless a break