The issue is whether "any program out there" is taken to mean "any existing" or "any possible". It may be true that no programs actually exist that couldn't be shorter or more correct (though I doubt it), but one would reach a minimum length and bugginess eventually.