Use trampolining in tokenFilter to avoid stack overflow