Hello! Here goes a bug the tool suggested I report.
Attachment: creduce_bug_000.tar Description: Unix tar archive