pub const TX_DEMAND_VECTOR_MAX_SIZE: u64 = 1000;
next
TxDemandVectorMaxSize is an XDR Const defines as:
const TX_DEMAND_VECTOR_MAX_SIZE = 1000;