Provide documentation for some state machine related functions