Printing of function types causes a stack overflow (#1959) · Issues · pub / frama-c