let file_for_lang base lang =
  let dir = Wp_parameters.get_output () in
  let suffix = 
    match lang with
      | L_ergo91 -> "_ergo91.why"
      | L_ergo92 -> "_ergo92.why"
      | L_why -> ".why"
      | L_coq -> ".v"
  in Printf.sprintf "%s/%s%s" dir base suffix