typedef'ed size_type