printing C: use the quick printForC rather than the slow (but prettier) printForUser. This has been a ToDo for a while.