fprintf(stderr, "Dumping matrices for easier debugging, since at least one test failed.\n");
fprintf(stderr, "Reference:\n");
fprintf(stderr, "Dumping matrices for easier debugging, since at least one test failed.\n");
fprintf(stderr, "Reference:\n");