macro is named Macro<x> by default, where x [...] beginning at 0
name>.x Shows [...] name>.x = TRUE , [...] name>._x Shows
-Transition After . The Step0 step and the Trans0 transition [...] the Trans0 transition
is marked with an X [...] at 0