I'll use std::set instead.