Abstract: Memory safety is essential for programming low-level system software. Over the past decades, numerous language-level efforts, such as C dialects and Rust, have aimed to provide strong safety ...