pub type std_char_traits_off_type = std_streamoff;