On Mon, 9 Nov 2020 16:55:58 +0200 "Yordan Karadzhov (VMware)" <y.karadz@xxxxxxxxx> wrote: > Hi Steven, > > In the review of patch 13/20 you already suggested to replace the name > "top" with a non-printable character: > > const char top_name[] = { 0x1b, 0x00 }; // Non printable character > #define TOP_NAME (char *)&top_name Ah, I forgot ;-) > > This change will be included in v3. OK, looking forward to it. (Yes, I'm still on PTO today :-) -- Steve