-/* This C header file is generated by NIT to compile modules and programs that requires src/analysis/icode_dump. */
+/* This C header file is generated by NIT to compile modules and programs that requires ./analysis/icode_dump. */
#ifndef analysis___icode_dump_sep
#define analysis___icode_dump_sep
#include "analysis___allocate_iregister_slots._sep.h"
static const char * const LOCATE_analysis___icode_dump___ITypeCheck___dump_intern = "icode_dump::ITypeCheck::(icode_dump::ICode::dump_intern)";
val_t analysis___icode_dump___ITypeCheck___dump_intern(val_t p0, val_t p1);
typedef val_t (*analysis___icode_dump___ITypeCheck___dump_intern_t)(val_t p0, val_t p1);
-val_t NEW_ITypeCheck_icode___icode_base___ITypeCheck___init(val_t p0, val_t p1);
+val_t NEW_ITypeCheck_icode___icode_base___ITypeCheck___init(val_t p0, val_t p1, val_t p2);
static const char * const LOCATE_analysis___icode_dump___INative___dump_intern = "icode_dump::INative::(icode_dump::ICode::dump_intern)";
val_t analysis___icode_dump___INative___dump_intern(val_t p0, val_t p1);
typedef val_t (*analysis___icode_dump___INative___dump_intern_t)(val_t p0, val_t p1);