no pointer as map keys