Run from "all_tests.php"