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