automatically prettifies a C program