Lines Matching full:verified
2629 // a1: pushed function (to be verified)2860 // r1: pushed function (to be verified)
