out.println(header + ": " + value);
else
out.println("Test: " + value);
try {
HeaderTokenizer ht = new HeaderTokenizer(value,
mime ? HeaderTokenizer.MIME : HeaderTokenizer.RFC822,
!return_comments);
HeaderTokenizer.Token tok;
Vector toklist = new Vector();
while ((tok = ht.next()).getType() != HeaderTokenizer.Token.EOF)
toklist.addElement(tok);
if (gen_test_input)
out.println("Expect: " + toklist.size());
else {
out.println("Got " + toklist.size() + " tokens:");