/* specdef.i: headers and definitions for "Specifying Software" */

# include <stdlib.h>  
# include <stdio.h>
# include <math.h>
# include <ctype.h>
# include <limits.h>
# include <string.h>

# ifndef __cplusplus
typedef enum {false, true} bool;  /* not needed for C++ */
# endif

/* null macros: */
# define ASSERT(P)   
# define FACT(P) 
# define INVAR(P)  

void error(char msg[]) /* abort with stderr message msg */
{ fprintf(stderr, "Error: %s.\n", msg); 
  exit(EXIT_FAILURE); 
}