+/* A structure decorating a state, with additional information. */
+typedef struct state_s
+{
+ /* A state. */
+ core *state;
+
+ /* Its accessing symbol. */
+ short accessing_symbol;
+} state_t;
+
+/* All the decorated states, indexed by the state number. Warning:
+ there is a state_TABLE in LR0.c, but it is different and static.
+ */
+extern state_t *state_table;
+