add a little test program for tokenize()