But what language is the program written in? It would have to include all of the possible data types and formats, and include all possible operations with the correct semantics.