pedanterrific comments on Automatic programming, an example