read_toa_file ought to read from a string too