--- /dev/null
+#include "nit.common.h"
+val* nit___nit__Prod___get_annotations(val* self, val* p0);
+short int standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(val* self);
+#define COLOR_standard__array__AbstractArrayRead___length 0
+extern const struct type type_standard__Int;
+extern const char FILE_standard__kernel[];
+val* standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
+val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
+#define COLOR_nit__parser_nodes__ANode___location 0
+extern const char FILE_nit__parser_nodes[];
+#define COLOR_nit__location__Location___line_start 1
+val* NEW_standard__Array(const struct type* type);
+extern const struct type type_standard__Array__standard__Object;
+val* NEW_standard__NativeArray(int length, const struct type* type);
+extern const struct type type_standard__NativeArray__standard__Object;
+val* BOX_standard__Int(long);
+#define COLOR_standard__array__Array__with_native 73
+#define COLOR_standard__string__Object__to_s 9
+void nit___nit__ModelBuilder___error(val* self, val* p0, val* p1);
+val* standard___standard__SequenceRead___Collection__first(val* self);
+#define COLOR_nit__parser_nodes__AAnnotation___n_args 15
+long nit___nit__ANodes___standard__abstract_collection__Collection__length(val* self);
+val* nit__literal___AExpr___as_string(val* self);
+#define COLOR_standard__kernel__Object___61d_61d 2
+val* nit___nit__AAnnotation___name(val* self);
+val* nit__literal___AExpr___as_id(val* self);