-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "src/model/model_base.nit", 210);
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "src/model/model_base.nit", 210);