ADD_EXECUTABLE (main3 main.c)
ADD_TEST (TestMain3 main3)
