Robust data structure implementations for software reliability.