verify_lib
