Translated the LineCounter checker.
(Some output still has to be changed to a format string.)