Added engine basics, one side effect

The engine relies on an initial state that is not set by the
compiler yet. The compiler now combines engine with dsml output.