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