...and just to provide an example of how one does verification with for C: <a href="https:&#x2F;&#x2F;galois.com&#x2F;blog&#x2F;2013&#x2F;09&#x2F;high-assurance-base64&#x2F;" rel="nofollow">https:&#x2F;&#x2F;galois.com&#x2F;blog&#x2F;2013&#x2F;09&#x2F;high-assurance-base64&#x2F;</a>