let console s =
  if (not (Ocsiconfig.get_silent ()))
  then print_endline s