in "nbtest.red"$
