Init: explores dynamic element allocation in arrays
Init: explores the `match` array