Fast and robust stringset for JavaScript