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