This is a scaled-down version of the `calc` demo.

The unary operator `-` has been removed,
and the binary operators `-` and `/` have been removed as well.

This helps inspect the automaton and the generated code.
