sendSockPerm (bio, p))
| MsgFirewall ls => (OpenSSL.writeInt (bio, 34);
sendList OpenSSL.writeString (bio, ls))
+ | MsgRegenerateTc => OpenSSL.writeInt (bio, 35)
fun checkIt v =
case v of
| 32 => Option.map MsgQuery (recvQuery bio)
| 33 => Option.map MsgSocket (recvSockPerm bio)
| 34 => Option.map MsgFirewall (recvList OpenSSL.readString bio)
+ | 35 => SOME MsgRegenerateTc
| _ => NONE)
end