WrapperFunctionAnalysis.WrapperArgs
val wrappers : unit -> string list
val is_wrapped : LibraryDesc.special -> bool