void run_tests();