[veddan]

For many programs it's easy to decide whether they halt or not.

  int main(void) { for (;;); }