dict: use ints for keys