A simple imperative language.