in  the nonreg  tests.  They are  currently  ignored. Moreover,  they
should be added at other places (or maybe handled differently).