let usage = "Usage: "^Sys.argv.(0)^" [options]\nwhere options are:"