gcc 6.3 does not whine about this mistake I made in 39808e8868 but evidently lots of other compilers do, according to Michael Paquier, Peter Eisentraut, Arthur Zakirov, Tomas Vondra. Discussion: too many to list
39808e8868