failure: invalid implicit conversion from void to int (#637) · Issues · pub / frama-c