(readchar): Adjusted for the change of CHAR_STRING.