let
fprint_word ff u =
fprint_list
""
fprint_bool ff u