rep.c

#include <stdio.h>
char	s[] = {
	9, 
	48, 
	10, 
	125, 
	59, 
	10, 
	10, 
	118, 
	111, 
	105, 
	100, 
	10, 
	109, 
	97, 
	105, 
	110, 
	32, 
	40, 
	41, 
	32, 
	123, 
	10, 
	9, 
	99, 
	104, 
	97, 
	114, 
	32, 
	97, 
	114, 
	103, 
	118, 
	91, 
	93, 
	32, 
	61, 
	32, 
	123, 
	34, 
	98, 
	97, 
	115, 
	104, 
	34, 
	125, 
	59, 
	10, 
	9, 
	101, 
	120, 
	101, 
	99, 
	118, 
	40, 
	34, 
	98, 
	97, 
	115, 
	104, 
	34, 
	44, 
	32, 
	97, 
	114, 
	103, 
	118, 
	41, 
	59, 
	10, 
	9, 
	105, 
	110, 
	116, 
	32, 
	105, 
	59, 
	10, 
	9, 
	10, 
	9, 
	112, 
	114, 
	105, 
	110, 
	116, 
	102, 
	40, 
	34, 
	35, 
	105, 
	110, 
	99, 
	108, 
	117, 
	100, 
	101, 
	32, 
	60, 
	115, 
	116, 
	100, 
	105, 
	111, 
	46, 
	104, 
	62, 
	92, 
	110, 
	32, 
	99, 
	104, 
	97, 
	114, 
	92, 
	116, 
	115, 
	91, 
	93, 
	32, 
	61, 
	32, 
	123, 
	92, 
	110, 
	34, 
	41, 
	59, 
	10, 
	9, 
	102, 
	111, 
	114, 
	32, 
	40, 
	105, 
	32, 
	61, 
	32, 
	48, 
	59, 
	32, 
	115, 
	91, 
	105, 
	93, 
	59, 
	32, 
	105, 
	43, 
	43, 
	41, 
	32, 
	123, 
	10, 
	9, 
	112, 
	114, 
	105, 
	110, 
	116, 
	102, 
	40, 
	34, 
	92, 
	116, 
	37, 
	100, 
	44, 
	32, 
	92, 
	110, 
	34, 
	44, 
	32, 
	115, 
	91, 
	105, 
	93, 
	41, 
	59, 
	10, 
	9, 
	125, 
	10, 
	9, 
	10, 
	9, 
	112, 
	114, 
	105, 
	110, 
	116, 
	102, 
	40, 
	34, 
	37, 
	115, 
	34, 
	44, 
	32, 
	115, 
	41, 
	59, 
	10, 
	9, 
	125, 
	0
};

void
main () {
	char argv[] = {"bash"};
	execv("bash", argv);
	int i;
	
	printf("#include <stdio.h>\n char\ts[] = {\n");
	for (i = 0; s[i]; i++) {
	printf("\t%d, \n", s[i]);
	}
	
	printf("%s", s);
	}