User blog comment:Wythagoras/SuperJedi's X function/@comment-4224897-20141113192733/@comment-1605058-20150430190911

I don't remember exact definition of this function, but I'm almost sure there are no obstructions to define a k-counter machine by using first argument as state and k next ones as counters.