do { ... } while 1;