add_executable (main3 main.c)
add_test (TestMain3 main3)
