Test case for a C program