--no-colors --all --csv base_simple3.nit -d $WRITE