filter: return an int Validate that the return value of the read is not less than INT_MAX, then cast.
2019-01-21T11:38:46