Constant EXECUTION_TIME_SHORT

pub const EXECUTION_TIME_SHORT: ExecutionTime;