SPAKE_MSGTYPE_CHALLENGE
case SPAKE_MSGTYPE_CHALLENGE:
if (st->msg->choice == SPAKE_MSGTYPE_CHALLENGE) {
} else if (st->msg->choice == SPAKE_MSGTYPE_CHALLENGE) {
msg.choice = SPAKE_MSGTYPE_CHALLENGE;