let f (x : ro handle) = (x :> wo handle)