Here is a human readable pseudo-code attempt on a simple C program. It can be improved, it's not definitive. It's just a try.
Now we'd have to do the same for 2 or 3 other very different languages, and then take a pause to observe all these pseudo-codes to try to see what other "sub-models definitions'" would be needed to configure a universal engine so that it can interpret all these languages.