let string fmt str =
  fprintf fmt "%s" str