I've been working on a borrow checker for C... (also statically makes sure `free` calls happen etc.) (by nikki93) — discussion
#c