Types that are not valid when they contain certain bit patterns.
impl<H> UndefState for CString<H> where H: Allocator,