Source position: xmlautomata.inc line 54
function xmlAutomataNewCounterTrans(
am: xmlAutomataPtr;
from: xmlAutomataStatePtr;
_to: xmlAutomataStatePtr;
counter: cint
):xmlAutomataStatePtr;