PROBLEM: (DEK048917) (PATCH ID: OSF510-486)
********
Avoid core dumps in verify command.