[-v2] require ; after do-while