#include <stdio.h>
#include "halts.h"

void paradox() {
  if (halts("paradox.c")) 
    while (TRUE) printf("Help, I'm paradox, trapped in an infinite loop\n");
  else { 
    printf("Hello, this is the paradox function shutting down normally\n");
	return;
  }
}