XSB/packages/altCDF/mknf/tests
