On Fri, Feb 21, 2020, at 12:09 PM, Hugo Beauzée-Luyssen wrote: > + fprintf(stderr, "Input: %s\n", str); > ... > + fprintf(stderr, "Output: %s\n", str); Removed locally -- Hugo Beauzée-Luyssen hugo at beauzee.fr