Format DCTest.c