4d4b21aac3
read_tets() - leave loop as soon as we have read the expected number of objects
read_tets() - leave loop as soon as we have read the expected number of objects