-fprintf(stderr, "Runtime error: %s", "Aborted");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/array.nit", 456);
-show_backtrace(1);
+var14 = ((val* (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__MapRead__provide_default_value]))(self, var_key) /* provide_default_value on <self:ArrayMap[Object, nullable Object]>*/;
+var = var14;
+goto RET_LABEL;