Constant TX_DEMAND_VECTOR_MAX_SIZE

pub const TX_DEMAND_VECTOR_MAX_SIZE: u64 = 1000; // 1_000u64

TxDemandVectorMaxSize is an XDR Const defines as:

const TX_DEMAND_VECTOR_MAX_SIZE = 1000;