Symbol: soft_verify_init