use a vector as hashmap key