# ifndef _FIRM_COMMON_H_
# define _FIRM_COMMON_H_
-#ifndef INLINE
-#ifdef USE_GCC_INLINE
-#define INLINE inline
-#else
-#define INLINE
-#endif
-#endif
-
/** a list of firm kinds
@@@ not all datatypes are tagged yet. */
typedef enum {
/** Returns the kind of a thing as a string. */
const char* print_firm_kind(void *firm_thing);
+/** Print an identification of a firm thing. */
+void firm_identify_thing(void *X);
+
# endif /*_FIRM_COMMON_H_ */