the library about transformation between full_width characters and half_width ones