Better do `#define RECORD_HEADER_SIZE (1 + 4)` here.