Add test_main() methods. These three tests were never run
by regrtest.py.

We really need a simpler testing framework.
3 files changed