Yes, we are. lvals are guaranteed to be unique, they are keys of the hash table.