A simple imperative language