mkfifo: some workaround to ensure reasonably unique id, even on Cygwin where $PPID might fall back on odd default;
mkfifo: some workaround to ensure reasonably unique id, even on Cygwin where $PPID might fall back on odd default;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle