do and ret pervasively
allow imperative for statements without do in front