Symbol: PRINT_TIMESTAMP_HEADER_WIDTH