test_c_veri_bsv_multi nestedWhileLoop2 nestedWhileLoop2 {} "nestedWhileLoop2.out.expected"