@mastax, you could model pointer dereferencing as an effect and require dereferencing null pointers to trap.