Constant SERVER_LOG_TIMESTAMP_LEN 

const SERVER_LOG_TIMESTAMP_LEN: usize = 14;