let path_span = 
  (try 
    Sys.getenv "SPAN"
  with Not_found -> failwith "Environment Variable SPAN should be declared!" )