Comment by JaimeThompson

Except humans haven't developed ways to write bug free code except in a very few limited circumstances none of which crypto uses.