for i = 1 to Array.length Sys.argv - 1 do print_string Sys.argv.(i); print_char ' ' done; print_newline();;