/test/monniaux/csmith/reduce/
../
reduce.sh
reduce_wrt_host.sh