-#define COLOR_nit__location__SourceFile___string 1
-#define COLOR_nit__location__SourceFile___stream 2
-val* standard___standard__BufferedIStream___IStream__read_all(val* self);
-#define COLOR_nit__location__SourceFile___line_starts 3
-val* BOX_standard__Int(long);
+#define COLOR_nit__location__SourceFile___string 2
+#define COLOR_nit__location__SourceFile___stream 3
+val* standard___standard__Reader___read_all(val* self);
+#define COLOR_nit__location__SourceFile___line_starts 4