export CSMITH_PATH=/opt/csmith/