Optimizing and Debugging ANSI C Programs