Cristian Greco writes: > Hi, > > this commit should fix some wrong (bad) pointer dereferences. > > git fetch git@REDACTED:cristiangreco/otp.git cg/fix-pointer-dereference Looks correct to me. The current code there is obviously broken.