
{
{   The purpose of this request is to verify that a file is a legitimate
{ object library.
{
{       PMP$VERIFY_LIBRARY (LIBRARY_FILE, VERSION, STATUS)
{
{ LIBRARY_FILE: (input) This parameter specifies the sequence pointer for the
{       library file.
{
{ VERSION: (output) This parameter specifies the library version.
{
{ STATUS: (output) This parameter specifies the request status.
{       CONDITION: lle$library_header_missing, lle$wrong_library_version,
{                  lle$empty_module_dictionary, lle$bad_module_dictionary_ptr,
{                  lle$bad_entry_dictionary_ptr.
{       IDENTIFIER: 'PM'
{
