HackCert

$ VERIFYING_OPERATOR...