Constant EXECUTION_TIME_SHORT 

pub const EXECUTION_TIME_SHORT: ExecutionTime;