Issue #9566: explain why (int)len cannot underflow
1 file changed