Note that current Checked C is not memory safe, although the goal is to make it so. It focuses on bounds checking (that is a hard enough problem) and does not

Note that current Checked C is not memory safe, although the goal is to make it so. It focuses on bounds checking (that is a hard enough problem) and does not handle use after free for now.