List<int> readValues() { p.offset = valueOffset!; final values = <int>[]; for (var i = 0; i < numValues; ++i) { values.add(_readValue()); } return values; }