Static GREPTIME_DB_HEADER_EXECUTION_TIME

pub static GREPTIME_DB_HEADER_EXECUTION_TIME: HeaderName