48 	fprintf(stdout, "Hammer lines [");  in hammer_device()
50 		fprintf(stdout, "%d", lines[i]);  in hammer_device()
52 			fprintf(stdout, ", ");  in hammer_device()
54 	fprintf(stdout, "] on %s, initial states: [", device_name);  in hammer_device()
56 		fprintf(stdout, "%d", data.values[i]);  in hammer_device()
58 			fprintf(stdout, ", ");  in hammer_device()
60 	fprintf(stdout, "]\n");  in hammer_device()
78 		fprintf(stdout, "[%c] ", swirr[j]);  in hammer_device()
83 		fprintf(stdout, "[");  in hammer_device()
85 			fprintf(stdout, "%d: %d", lines[i], data.values[i]);  in hammer_device()
87 				fprintf(stdout, ", ");  in hammer_device()
89 		fprintf(stdout, "]\r");  in hammer_device()
90 		fflush(stdout);  in hammer_device()
96 	fprintf(stdout, "\n");  in hammer_device()