import extensions;

public Program()
{
    Console.printLine(Program_arguments.asEnumerable());  // the whole command line

    Console.printLine(Program_arguments[0]); // the program name
}