Dear John, Tom and Nathan, Thanks for seeing the issue. I found the animals are now green, e.g. [1], so I hope it might be a compiler's bug. I learned that no need to spend time for experimental tools unless we have idea around here.
[1]: https://buildfarm.postgresql.org/cgi-bin/show_history.pl?nm=snakefly&br=master Best regards, Hayato Kuroda FUJITSU LIMITED
