What are the chances that a small C program uncovers a bug in the C compiler, maybe in its type checker?
What are the chances that a very large C program uncovers a bug in the C compiler?
What are the chances that a very large C program uncovers a bug in the C compiler?