HelVM.HelMA.Automaton.Symbol
type Symbol = Integer #
type SymbolList = [Symbol] #
type Index = Int #
type InstructionAddress = Int #