Use hashing instead of RB trees - 2x speed :-)