Checked C: extension to C that adds static and dynamic checkinggithub.com/Microsoft129 pointsingve8 years ago