Hi Karl, > By the way, the same culprit caused an infloop in an even simpler case: > type CTRL-C and then CTRL-D to the ** prompt. On my system pressing CTRL-C in the ** prompt just terminates TeX: $ tex This is TeX, Version 3.14159265 (TeX Live 2020/Debian) (preloaded format=tex) **^C $ Igor