Calling walrus.CheckDDoc().