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

// a partial attempt at defining halts so that it at least works on the program in paradox.c.
bool halts(char *prog){
	//if (0==strcmp(prog,"paradox.c")) return FALSE;
	if (0==strcmp(prog,"paradox.c")) return TRUE;
    else printf("halts is not ready to handle %s\n", prog);
}

int main(){

  if (halts("paradox.c")) 
    printf("halts said TRUE, it halts, given input paradox.c\n");
  else 
    printf("halts said FALSE, it doesn't halt, given input paradox.c\n");

  printf("\nNow calling the paradox function directly:\n\n");
  paradox();
  
}