Reliable Data Structures in C