translation of imperative constructs