Narrow array on count(), string on strlen() with positive-int

Narrow array on count(), string on strlen() with positive-int #16927