Functional semantics in imperative clothing