Tiny Imperative Language