Please use size_type instead of int here.