4 ms·"correctness-oriented C" definitionally cannot consider "[relying] on those casts".by Arch-TK 2y ago"correctness-oriented C" definitionally cannot consider "[relying] on those casts".