assign >NIL: WITNESS:  ""
witness
echo "not enough free memory to run WITNESS"