Extracting Abstract Data Types from C Programs: A Case Study