So quick_main was useful before Rust 1.26, but now is there a use case for it? Should we deprecate its use in 0.13?
quick_main
0.13