Tiny Imperative Programming