Multiplied maxstack by sizeof void-pointer.
(Automaton,Program) Refactored C statements into more specific (auto) symbol definition.