This file has been reviewed by Japan PostgreSQL Users Group. I have reported this to https://redmine.postgresql.org/. Is that a wrong place? KOIZUMI Satoru