testcase_get_stdout_buf
printf("testcase stdout:\n%s\n", testcase_get_stdout_buf(testcase));
testcase_set_stdout_buf(testcase, testcase_get_stdout_buf(tkcase));
const char *testcase_get_stdout_buf(prop_dictionary_t testcase);