title: Is size_t guaranteed to be an alias type to one of integer types?
body: <p>Or can it be a separate unsigned integer type?</p>
  
  <p>I have different specializations of a template function for different (unsigned) integer types. Do I need to provide a separate specialization for <code>size_t</code>?</p>