1 /*
2  * Copyright (c) 2024 Antmicro <www.antmicro.com>
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <stdio.h>
8 
main(int argc,char ** argv)9 int main(int argc, char **argv)
10 {
11 	for (int i = 0; i < argc; i++) {
12 		printf("argv[%d] = %s\n", i, argv[i]);
13 	}
14 	return 0;
15 }
16