Static GREPTIME_DB_HEADER_EXECUTION_TIME 

pub static GREPTIME_DB_HEADER_EXECUTION_TIME: HeaderName