Touche, DJB is one of the few people capable of writing secure C network code.

I also don't exclude the possibility of formally verified C code like seL4 having no RCEs, etc.