7using UUIDVec = std::vector<UUID>;
8UUIDVec uuid_vec_from_string(
const std::string &s);
9std::string uuid_vec_to_string(
const UUIDVec &v);
10UUIDVec uuid_vec_append(
const UUIDVec &v,
const UUID &uu);
11UUID uuid_vec_flatten(
const UUIDVec &v);
12std::pair<UUIDVec, UUID> uuid_vec_split(
const UUIDVec &v);