Add `do-while' construct