Symbol: satNonChainedVerifyCB