Rewriting testinstance program.