use read_u8_()