An implementation change in the garbage collector, which was introduced
to fix #7847, happens to change the output of fptr01.