Future<void> readArray<T>(Array<T> a, int n) async { final data = await readData<T>(n); a.toData().setAll(0, data); }