Replace Array with std::vector in recording.h.