read_num_bytes() should actually do what it says in the doc string ;-)