typedef int to size_type