pub(super) const MAX_HEAP_SIZE: usize = _; // 9_216usize
Maximum total heap size (constants + witnesses + assigned variables)