match Filename.basename Sys.argv.(0) with
|"gragrep" |"gragrep.opt" |"gragrep.opt.static" ->Gragrep.main()
|"matitadep" |"matitadep.opt" |"matitadep.opt.static" ->Matitadep.main()
match Filename.basename Sys.argv.(0) with
|"gragrep" |"gragrep.opt" |"gragrep.opt.static" ->Gragrep.main()
|"matitadep" |"matitadep.opt" |"matitadep.opt.static" ->Matitadep.main()