да, они компилируются в общий код, но трансформация в читабельный вариант происходит после компиляции. Большинство кода, это try-catch + Global.ProjectExecutor + goto
могу кинуть ссылки на msdn, так как щас в студии писать код не могу, занята другим делом