sendList OpenSSL.writeString (bio, codes))
| MsgRmdom dom => (OpenSSL.writeInt (bio, 13);
OpenSSL.writeString (bio, dom))
+ | MsgRegenerate => OpenSSL.writeInt (bio, 14)
fun checkIt v =
case v of
| 12 => Option.map MsgMultiConfig
(recvList OpenSSL.readString bio)
| 13 => Option.map MsgRmdom (OpenSSL.readString bio)
+ | 14 => SOME MsgRegenerate
| _ => NONE)
end