Вы ничего не можете доказать о программе, написанной в C или Frtran. Это действительно просто заглядывает и заглядывает с каким -то синтаксическим сахаром.