Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice. - Jay Richards; Daniel Wright 001; Simon Cooksey; Mark Batty (Proc. ACM Program. Lang., 2025)