(* CommandLine, 1997-03-07 *) local     prim_val argv_   : string Vector.vector = 0 "command_line";in fun name () =     if Vector.length argv_ > 0 then Vector.sub(argv_, 0)     else raise Fail "failed in CommandLine.name" fun arguments () =     let fun h i res = 	if i >= 1 then h (i-1) (Vector.sub(argv_, i) :: res)	else res    in h (Vector.length argv_ - 1) [] end;end