You can’t prove anything about a program written in C or FØRTRAN. It’s really just Peek and Poke with some syntactic sugar.
~ Bill Joy (born: 1954-11-08 age: 55), co-inventor of Java.