int-keys are a bit faster...