Documentation for jscc state machine serialization