#include <stdint.h>

const uint8_t word_file_magic[] = { 0x31, 0xBE, 0x00, 0x00 };