pascal.ijs: t->k for tokenids, add trace/debug stuff.