ignore output files
eplace ArrayStore by std::vector