let
print f s = fprintf f
"%S"
s