let is_realloc_function v = isFunctionType v.vtype && v.vname = name_of_realloc