Added trans stmt; use Imperative monad.