int main(int argc, char* argv[]){ print_string("Program launched with "); print_int(argc); print_string(" arguments\n"); int i = 0; while(i < argc){ print_string("argv["); print_int(i); print_string("] = "); print_string(argv[i]); print_string("\n"); i = i + 1; } return argc; }