anchor.diff:      let sig_ = mlsig_of_sig (mk_mlenv name) fmod_.declarations in
       (name, sig_, mod_)
   
  +let mlmod_of_iface (fmod_ : modul) =
  +    let name = Backends.OCaml.Syntax.mlpath_of_lident fmod_.name in
  +    fprint1 "OCaml skip: %s\n" fmod_.name.ident.idText;
  +    mlsig_of_sig (mk_mlenv name) fmod_.declarations |> ignore
  +    
  +
   (* -------------------------------------------------------------------- *)
   let mllib_empty : mllib =
       MLLib []
  
positive.code: let as_tprims (id : lident) : option<tprims> =
      if is_prim_ns id.ns then
          match id.ident.idText with
          | "Tuple2" -> Some (Tuple 2)
          | "Tuple3" -> Some (Tuple 3)
          | "Tuple4" -> Some (Tuple 4)
          | "Tuple5" -> Some (Tuple 5)
          | "Tuple6" -> Some (Tuple 6)
          | "Tuple7" -> Some (Tuple 7)
          | "exn"    -> Some Exn
          | _        -> None
      else
  
negative.code: let mlmod_of_fstars (fmods : list<modul>) =
      let in_std_ns x = Util.for_some (fun y -> in_ns (y,x)) !Microsoft.FStar.Options.codegen_libs in
      let fmods = List.filter (fun x -> not (in_std_ns (List.map (fun y->y.idText) x.name.ns))) fmods in
      let stdlib = List.map (fun x -> Util.concat_l "." x) outmod in
      let extlib = List.map (fun x -> Util.concat_l "." x) !Microsoft.FStar.Options.codegen_libs in
      let fmods = List.filter (fun x -> not (List.contains x.name.str stdlib)) fmods in
      let fmods = List.choose (fun x -> if List.contains x.name.str extlib then (mlmod_of_iface x; None) else Some (mlmod_of_fstar x)) fmods in
      let for1 mllib the = 
          let (path, sig_, mod_) = the in
          let modname = (fst path) @ [snd path] in
  