Is there a took that converts this:
uint8_t thing[] = load_file("thing.txt");
into this:
uint8_t thing[] = {0x74, 0x