let
isIgnoredFunction fname =
List
.exists
(
fun
s
->
(
String
.compare fname s)=0)
(!ignored_functions)