let extract_provide def = match def with
    LnkProvide (name,_) -> [name]
  | _ -> []