uh oh.  get rid of the redundant "tok_len" parameter in various places by using proper typing..