Extract the state machine of an IKEv1/IKEv2 implementation - View it on GitHub