Balanced::Verification.save