import extensions;

public program()
{
    console.printLine(program_arguments.asEnumerable());  // the whole command line

    console.printLine(program_arguments[0]); // the program name
}