Ah yes, but the whole point of the project is to go away from this: ldstr "Hello!" call void [mscorlib]System.Console::Write (string) And come to that

Ah yes, but the whole point of the project is to go away from this: ldstr "Hello!" call void [mscorlib]System.Console::Write (string) And come to that: ((write: "Hello!")) So `ldstr` does indeed feature in the example but only as a "before" picture. But you're right, it is about adding syntactic features to the existing language.