See also here for my experiments, but it relies on UBSan for bounds checking: https://github.com/uecker/noplate.git