Slow-path match-procedure (multiple state sizes)