kdb5_verify
