xxdなんてコマンドがある事を知らなかった % echo "The quick brown fox jumps over the lazy dog" > x.txt % cat x.txt The quick brown fox jumps over the lazy dog % xxd -i x.txt unsigned char x_txt[] = { 0x54, 0x68, 0x65, 0x20, 0x71, 0x75, 0x69,…