Update read_string.s