test_c_veri_bsv_multi whileInFor whileInFor {} "whileInFor.out.expected"