@karlden
I have found several uses of this construct in PDF.js, so I wonder who said that `do { .. } while ( .. );` is against the code guidelines. If it's a misunderstanding, and `do-while` is accepted, someone has to remove this comment from the source to avoid further confusion.