let blackbox () =
  prerr_endline "Alloy parser";
  prerr_endline "Copyleft 2006-07-25 Tahina Ramananandro, ENS, Paris, France"; 
  prerr_endline "Distributed under GPL";
  prerr_string "> "; flush stderr;

  let env_init = {(Fol.empty_env ()) with
    Fol.env_modul = Alloyparse.modul;
    Fol.env_token = Alloylex.token;
  } in

  let env_fin = Fol.process_channel stdin env_init in

  let res = Fol.finaliser env_fin in

  res