Safer Casting in C – With Zero Runtime Cost – Making Casts Visible, Auditable · HackerTrans