An extremely space efficient strict HashMap with good asymptotics