let debug s =
  if Ocsiconfig.get_veryverbose () then
    prerr_endline s