let loop_while condition ~body = While {condition; body}