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