843   res_vsc = vec_nand(vsc, vsc);  in test1()
850   res_vbc = vec_nand(vbc, vbc);  in test1()
856   res_vuc = vec_nand(vuc, vuc);  in test1()
862   res_vss = vec_nand(vss, vss);  in test1()
868   res_vbs = vec_nand(vbs, vbs);  in test1()
874   res_vus = vec_nand(vus, vus);  in test1()
880   res_vsi = vec_nand(vsi, vsi);  in test1()
886   res_vbi = vec_nand(vbi, vbi);  in test1()
892   res_vui = vec_nand(vui, vui);  in test1()
898   res_vf = vec_nand(vfa, vfa);  in test1()
904   res_vsll = vec_nand(vsll, vsll);  in test1()
910   res_vbll = vec_nand(vbll, vbll);  in test1()
916   res_vull = vec_nand(vull, vull);  in test1()
922   res_vd = vec_nand(vda, vda);  in test1()
928   res_vf = vec_nand(vfa, vfa);  in test1()