Ошибка EXC_BAD_ACCESS

Question

Я изучаю пакет CUDD, но столкнулся с ошибкой EXC_BAD_ACCESS в функции Cudd_DumpDot (первая строка ниже). Что случилось?

retval = fprintf(fp,"digraph \"DD\" {\n");
if (retval == EOF) return(0);
retval = fprintf(fp,"size = \"7.5,10\"\ncenter = true;\nedge [dir = none];\n");
if (retval == EOF) return(0);