On Tue, Dec 03, 2019 at 05:33:20AM -0800, Matt Wette wrote:
> The segfault is not in bash.  I was able to re-create the segfault
> from the (bash) command-line.

Got it, thanks :-)

Cheers
-- t