$STARTSYM is in a symbol production at the start.

Author: gtrepta

kmir/src/kmir/kdist/mir-semantics/kmir.md

@@ -92,7 +92,7 @@ module KMIR-CONFIGURATION
                   // heap
                   <memory> .Map </memory> // FIXME unclear how to model
                   // FIXME where do we put the "GlobalAllocs"? in the heap, presumably?
-                  <start-symbol> $STARTSYM:String </start-symbol>
+                  <start-symbol> symbol($STARTSYM:String) </start-symbol>
                 </kmir>
 endmodule
 ```
@@ -119,7 +119,7 @@ function map and the initial memory have to be set up.
   // #init step, assuming a singleton in the K cell
   rule <k> #init(_Name:Symbol _Allocs:GlobalAllocs Functions:FunctionNames Items:MonoItems)
          =>
-           #execFunction(#findItem(Items, symbol(FuncName)), Functions)
+           #execFunction(#findItem(Items, FuncName), Functions)
        </k>
        <functions> _ => #mkFunctionMap(Functions, Items) </functions>
        <start-symbol> FuncName </start-symbol>

kmir/src/tests/integration/data/exec-smir/main-a-b-c/main-a-b-c.15.state

@@ -48,6 +48,6 @@
     .Map
   </memory>
   <start-symbol>
-    "main"
+    symbol ( "main" )
   </start-symbol>
 </kmir>

kmir/src/tests/integration/data/exec-smir/main-a-b-c/main-a-b-c.run.state

@@ -47,6 +47,6 @@
     .Map
   </memory>
   <start-symbol>
-    "main"
+    symbol ( "main" )
   </start-symbol>
 </kmir>