created alternative WTEDNReader w/ WTToken