> Of course, there's no reason why you can't write your own equivalents of assert and debug_assert in C, or any other language, but having them built into a language (or standard library)

Doesn't C have both static_assert and assert as part of the standard library?