@astrid AAAAA - Andouillette

https://en.wikipedia.org/wiki/Andouillette

@samir Yes! I think it is better to verify that existing software is memory safe, ideally automatically, but with the help of some type-like annotations if needed. There are still some rough edges, but Codex (the static analysis library) is close to provide that!