#define TRUE    1
#define FALSE   0
typedef int bool;

/*
Input: a program (file name) that reads no input data.
Output: Analyze the program and return TRUE if it returns properly.
        return FALSE if program runs in an infinite loop or crashes.
*/
bool halts(char *program);