+++ /dev/null
-/* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/gc. */
-#ifndef standard___gc_sep
-#define standard___gc_sep
-#include "standard___kernel._sep.h"
-#include <nit_common.h>
-extern const char LOCATE_standard___gc[];
-extern const int SFT_standard___gc[];
-#define CALL_standard___gc___Sys___force_garbage_collection(recv) ((standard___gc___Sys___force_garbage_collection_t)CALL((recv), (SFT_standard___gc[0] + 0)))
-void standard___gc___Sys___force_garbage_collection(val_t p0);
-typedef void (*standard___gc___Sys___force_garbage_collection_t)(val_t p0);
-val_t NEW_Sys_standard___kernel___Sys___init();
-#endif