Formatting and expanded imperative example