Imperative-program transformation by instrumented-interpreter specialization