In the sax mode documentation,

Option = {continuation_function, CState, CFunction} | ...

there is no documentation about the CState. Can it be anything?

Also, in the documentation of CFunction,

CFunction should be a function that takes 2 arguments: Tail and State.

Is the State the same thing as CState?