Verified code looks sane