--- /dev/null
+/*
+ Extern implementation of Nit module time
+*/
+#include <stdlib.h>
+#include <stdio.h>
+#include <stdint.h>
+#include "core__time._ffi.h"
+#ifdef ANDROID
+ #include <android/log.h>
+ #define PRINT_ERROR(...) (void)__android_log_print(ANDROID_LOG_WARN, "Nit", __VA_ARGS__)
+#else
+ #define PRINT_ERROR(...) fprintf(stderr, __VA_ARGS__)
+#endif
+#define NativeString_to_s_with_copy time___NativeString_to_s_with_copy
+#define String_to_cstring time___String_to_cstring
+#define NativeString_to_s time___NativeString_to_s
+long time___Sys_get_time___impl( Sys self )
+{
+#line 24 "../lib/core/time.nit"
+
+ return time(NULL); }