1                 : #include <stdlib.h>
       2                 : #include <stdio.h>
       3                 : #include <stdarg.h>
       4                 : 
       5                 : void print(const char *format, ...)
       6            3671 : {
       7            3671 :     va_list ap;
       8            3671 :     va_start(ap, format);
       9            3671 :     if (vprintf(format, ap) < 0) abort();
      10            3671 :     va_end(ap);
      11                 : }
      12                 : 
      13                 : int main(int argc, char * * argv)
      14               4 : {
      15               4 :     int c;
      16               4 :     if (argc != 2) abort();
      17               4 :     print("static unsigned char %s[] = {", argv[1]);
      18            3667 :     while ((c = getchar()) != EOF) {
      19            3663 :         print("0x%02x, ", (unsigned char) c);
      20                 :     }
      21               4 :     print("};\n");
      22               4 :     return 0;
      23                 : }