Allocate a new zero-initialized stack array. ## Parameters `size`: number of elements `addr_width`: number of bits in an index `val_width`: number of bits in a value ## Returns Returns a (concrete) allocation identifier which can be used to access this allocation.
(&mut self, size: usize, addr_width: usize, val_width: usize)
source not stored for this graph (policy: none)