let wsdl_validate filename =
  try
    ignore (Wsdl.wsdl_load filename); true
  with
      Cduce_lib.Value.CDuceExn msg ->
        let msg = Cduce_lib.Value.get_string_latin1 msg in
        prerr_string msg;
        false