TEST_NUM_WIDTH
fprintf(env.stdout_saved, "#%-*d %s:", TEST_NUM_WIDTH, test->test_num, test->test_name);
TEST_NUM_WIDTH, test_num_str,