+#ifndef NIT_NULL_null_Int
+#define NIT_NULL_null_Int
+struct nitni_instance * stream___null_Int() {
+struct nitni_instance* ret_for_c;
+ret_for_c = malloc(sizeof(struct nitni_instance));
+ret_for_c->value = NULL;
+return ret_for_c;
+}
+#endif
+#ifndef NIT_NULL_null_Object
+#define NIT_NULL_null_Object
+struct nitni_instance * stream___null_Object() {
+struct nitni_instance* ret_for_c;
+ret_for_c = malloc(sizeof(struct nitni_instance));
+ret_for_c->value = NULL;
+return ret_for_c;
+}
+#endif
+/* nitni callback for standard::abstract_collection::Collection::length */
+int stream___Array_of_Int_length( struct nitni_instance * recv ) {
+long var /* : Int */;
+var = ((long (*)(val*))(recv->value->class->vft[COLOR_abstract_collection__Collection__length]))(recv->value) /* length on <recv->value:Array[Int]>*/;
+return var;
+}
+/* nitni callback for standard::abstract_collection::SequenceRead::[] */
+int stream___Array_of_Int__index( struct nitni_instance * recv, int index ) {
+val* var /* : nullable Object */;
+long var1 /* : Int */;
+var = ((val* (*)(val*, long))(recv->value->class->vft[COLOR_abstract_collection__SequenceRead___91d_93d]))(recv->value, index) /* [] on <recv->value:Array[Int]>*/;
+var1 = ((struct instance_kernel__Int*)var)->value; /* autounbox from nullable Object to Int */;
+return var1;
+}
+/* nitni check for Int to nullable Int */
+int stream___Int_is_a_nullable_Int(int from) {
+short int var /* : Bool */;
+int cltype;
+int idtype;
+/* <from->value:Int> isa nullable Int */
+var = 1; /* easy <from->value:Int> isa nullable Int*/
+return var;
+}
+/* nitni cast for Int to nullable Int */
+struct nitni_instance * stream___Int_as_nullable_Int(int from) {
+short int var /* : Bool */;
+int cltype;
+int idtype;
+val* var1 /* : nullable Int */;
+/* <from:Int> isa nullable Int */
+var = 1; /* easy <from:Int> isa nullable Int*/
+if (!var) {
+fprintf(stderr, "Runtime error: %s", "FFI cast failed");
+fprintf(stderr, "\n");
+show_backtrace(1);
+}
+var1 = BOX_kernel__Int(from); /* autobox from Int to nullable Int */
+struct nitni_instance* ret_for_c;
+ret_for_c = malloc(sizeof(struct nitni_instance));
+ret_for_c->value = var1;
+return ret_for_c;
+}