check_tcsh can also test this