On: Fast and formally verified C implementation of Base64

[kd0amg]

The scale difference is the difference between trivial and serious. Cosmic rays aren't nearly as much a hazard of day-to-day programming as other cars are of day-to-day driving.