support do-while statement