Subject: bug#25387: better but still an issue.

From: Linas Vepstas <[email-masked]>
Date: Tue, 10 Jan 2017 11:37:58 -0600

Retested with today's version of git. still crashes, but not instantly;
it now takes 20 seconds to 5 minutes to reproduce.

guile (GNU Guile) 2.1.5.19-7e9395