We didn't find the stock syz-to-tsx.