tav_read_byte
while (tav_read_byte(iot, ioh, TAV_RESET))
tav_read_byte(iot, ioh, TAV_VERSION),
TAV_DRAM_SIZE(tav_read_byte(iot, ioh, TAV_DRAM_EXT)));
tav_read_byte(iot, ioh, TAV_VERSION));
maxhalf = TAV_DRAM_HSIZE(tav_read_byte(iot, ioh, TAV_DRAM_EXT));
} while (tav_read_byte(iot, ioh, TAV_RESTART));