+fun sendAcl (bio, {user, class, value}) =
+ (OpenSSL.writeString (bio, user);
+ OpenSSL.writeString (bio, class);
+ OpenSSL.writeString (bio, value))
+
+fun recvAcl bio =
+ case (OpenSSL.readString bio, OpenSSL.readString bio, OpenSSL.readString bio) of
+ (SOME user, SOME class, SOME value) => SOME {user = user, class = class, value = value}
+ | _ => NONE
+