Use Writer instead of Formatter in the int_generator test.
Minor changes.