Update char_traits.h