Fast mergeable integer maps in C