public static void main(string[] args){
string command_name = args[0];
stdout.printf("%s\n", command_name);
}