Passes all tests except for full program; generates correct output, but not formatted the same way.
Improve template-main's docstring.