contract of template function specialization taken to refer to next plain function below (#884) · Issues · pub / frama-c