Implement do and while semantics.