C source code used to test AutoTest4C