You shouldn't allocate until you need them in verify.