(* absolutely no indication how the interface is implemented
   (threads, channels, blocking, server loops, etc. 
*)

type account
val mkAcct : unit -> account
val get : account -> float -> float
val put : account -> float -> float

val next_square : unit -> int