[PD-dev] [ pure-data-Bugs-2940517 ] mystery crash of pd-extended 0.42.5