[PD-dev] type-punned pointers again