You can't prove anything abou...
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.