![[Contents]](contents.gif)
To run the program, simply type the name of the executable file, excluding the .dis extension, at the Inferno shell prompt. For example:
inferno$ greet Reader Hello, Reader! inferno$Any command line arguments, in the above example
Reader, are passed by Inferno to the init function as elements in the list of string parameter. The program name itself is passed as the first element in the list of string parameter.