Indeed, the non-static declaration foreseen in my previous commit message is necessary. Per Noah Misch.
Attach a file by drag & drop or click to upload
