testcase(t('007bbfb7')*(tst+0),"
                       
 _______     ___________________
|