read_exactly_n()