Symbol: read_f