Simple IMPerative LanguagE