bin
counter.ttcn
