Formatting mini.cpp
Merge pull request #16 from fkautz/pr_out_formatting_mini_cpp

Formatting mini.cpp
escapable handles are copied safely unlike local handles
Merge pull request #19 from abperiasamy/recover-repl

escapable handles are copied safely unlike local handles