Returning an empty std::vector is sufficient