I wrote:
> I checked that that works and fixes the immediate problem, so I pushed
> it. However, we're not out of the woods, because lookee here in
> ecpglib.h:
> ...
Oh, and for extra fun, take a look in src/backend/utils/probes.d :-(
regards, tom lane