Updates to imperative example