println for prov dump