prereq: ./supported_libpthread
prog: ../../helgrind/tests/tc06_two_races
stderr_filter: filter_error_summary