--- /dev/null
+/*
+ Extern implementation of Nit module kernel
+*/
+#include <stdlib.h>
+#include <stdio.h>
+#include "kernel._ffi.h"
+
+int kernel___Pointer_address_is_null___impl( void* recv )
+{
+#line 559 "lib/standard/kernel.nit"
+
+ return recv == NULL; }