![](https://secure.gravatar.com/avatar/c3c4ce72a68266355f51f0006a576199.jpg?s=120&d=mm&r=g)
28 May
2020
28 May
'20
12:58 a.m.
Thanks. I think the additions of (r<>null) are no-op thus can be removed. (It does no harm, though.) I wonder if there is still some possibility of uninitialized save_tail (which is 0, not null). Thanh also committed some tests in <pdftex>/tests/14-*. Maybe you could add or change the tests to exhibit the uninitialized save_tail problem? I defer on any changes to you and Thanh ... --thanks much, karl.