Narrow string on *strlen() with positive-int

Narrow string on *strlen() with positive-int #7377