#include <stdio.h>


int
re_main(int argc, char **argv) {
	int rc = 0;
	for (int i = 0; i < argc; i++) {
		printf("argv[%d]: %s\n", i, argv[i]);
	}
	return rc;
}


#ifdef TEST
int
main(void) {
	int rc = 0;
	return rc;
}
#endif