Structure Of C Program Theory