let
warning s =
log_aux warningfile (
Ocsiconfig
.get_verbose ()) s