HDF5 supports fixed length vector<int>