C-Reduce, a C program reducer  http://embed.cs.utah.edu/creduce/