$ rustc mainarg1.rs
$ ./mainarg1 Hello world.
["./mainarg1", "Hello", "world."]