-/* This C header file is generated by NIT to compile modules and programs that requires src/icode/icode_tools. */
+/* This C header file is generated by NIT to compile modules and programs that requires ./icode/icode_tools. */
#ifndef icode___icode_tools_sep
#define icode___icode_tools_sep
#include "icode___icode_builder._sep.h"
static const char * const LOCATE_icode___icode_tools___ITypeCheck___inner_dup_with = "icode_tools::ITypeCheck::(icode_tools::ICode::inner_dup_with)";
val_t icode___icode_tools___ITypeCheck___inner_dup_with(val_t p0, val_t p1);
typedef val_t (*icode___icode_tools___ITypeCheck___inner_dup_with_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_icode___icode_tools___IIs___inner_dup_with = "icode_tools::IIs::(icode_tools::ICode::inner_dup_with)";
val_t icode___icode_tools___IIs___inner_dup_with(val_t p0, val_t p1);
typedef val_t (*icode___icode_tools___IIs___inner_dup_with_t)(val_t p0, val_t p1);