"The software for Mariner 6 (1969) was no more [than] 128 words of assembler code + data fields: equivalent to about 30 lines in C or comparable. It had a backup control system in hardware."

-- Dr. Gerard J. Holzmann, NASA/JPL Laboratory for Reliable Software.