Formatted DbTest.c