githwxi/ATS-Postiats — pull request #93 by master-q (2014-10-02 12:27:17+00:00)
Title: Add counter definition code

I think ATS2TUTORIAL miss some code.