in "nbtest.red"$

