EXPR while COND;