39 	const char portspec[] = "22-21";  in ATF_TC_BODY()  local
47 	const char portspec[] = "-1";  in ATF_TC_BODY()  local
55 	const char portspec[] = "65536";  in ATF_TC_BODY()  local
63 	const char portspec[] = "22-65536";  in ATF_TC_BODY()  local
71 	const char portspec[] = "80,443";  in ATF_TC_BODY()  local
89 	const char portspec[] = "80,443,500-501,510,520,40000-40002";  in ATF_TC_BODY()  local
122 	const char portspec[] = "foo";  in ATF_TC_BODY()  local
130 	const char portspec[] = "22-22";  in ATF_TC_BODY()  local
142 	const char portspec[] = "22-25";  in ATF_TC_BODY()  local
157 	const char portspec[] = "22";  in ATF_TC_BODY()  local
168 	const char portspec[] = "0";  in ATF_TC_BODY()  local