tokenize, verify program exists