let msg_help_libraries =
  "Allows/Disallows the use of the -slicing-level option for calls to undefined functions."