Update

I discovered that the tiny computer addition program listed in my earlier post here, is not minimal. There is a program consisting of 10 lines instead of 13. Since I will probably be listing it later, its discovery is currently left as an exercise to the reader.