-/* This C header file is generated by NIT to compile modules and programs that requires ./../lib/standard/kernel. */
+/* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/kernel. */
#ifndef standard___kernel_sep
#define standard___kernel_sep
#include <nit_common.h>
+#include "kernel._nitni.h"
extern const classtable_elt_t VFT_standard___kernel___Object[];
#define CALL_standard___kernel___Int___to_c(recv) ((standard___kernel___Int___to_c_t)CALL((recv), (SFT_standard___kernel[20] + 10)))
#define CALL_standard___kernel___Int___enumerate_to(recv) ((standard___kernel___Int___enumerate_to_t)CALL((recv), (SFT_standard___kernel[20] + 11)))
#define CALL_standard___kernel___Int___enumerate_before(recv) ((standard___kernel___Int___enumerate_before_t)CALL((recv), (SFT_standard___kernel[20] + 12)))
+#define CALL_standard___kernel___Int___abs(recv) ((standard___kernel___Int___abs_t)CALL((recv), (SFT_standard___kernel[20] + 13)))
#define ID_standard___kernel___Char (SFT_standard___kernel[21])
#define COLOR_standard___kernel___Char (SFT_standard___kernel[22])
#define INIT_TABLE_POS_standard___kernel___Char (SFT_standard___kernel[23] + 0)
static const char * const LOCATE_standard___kernel___Int___enumerate_before = "kernel::Int::enumerate_before";
void standard___kernel___Int___enumerate_before(val_t p0, val_t p1, struct stack_frame_t *closctx_param, fun_t clos_fun0);
typedef void (*standard___kernel___Int___enumerate_before_t)(val_t p0, val_t p1, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+static const char * const LOCATE_standard___kernel___Int___abs = "kernel::Int::abs";
+val_t standard___kernel___Int___abs(val_t p0);
+typedef val_t (*standard___kernel___Int___abs_t)(val_t p0);
static const char * const LOCATE_standard___kernel___Char___object_id = "kernel::Char::(kernel::Object::object_id)";
val_t standard___kernel___Char___object_id(val_t p0);
typedef val_t (*standard___kernel___Char___object_id_t)(val_t p0);