/* This C header file is generated by NIT to compile modules and programs that requires time. */
-#ifndef time_3_sep
-#define time_3_sep
+#ifndef time_sep
+#define time_sep
#include "kernel._sep.h"
#include <nit_common.h>
#include <time_nit.h>
-#define LOCATE_time "time"
+extern const char *LOCATE_time;
extern const int SFT_time[];
-#define COLOR_time___Object___get_time SFT_time[0]
-typedef val_t (* time___Object___get_time_t)(val_t self);
-val_t time___Object___get_time(val_t self);
+#define CALL_time___Object___get_time(recv) ((time___Object___get_time_t)CALL((recv), (SFT_time[0] + 0)))
#define LOCATE_time___Object___get_time "time::Object::get_time"
+val_t time___Object___get_time(val_t p0);
+typedef val_t (*time___Object___get_time_t)(val_t p0);
#endif