fun with mapping keys in python