Bugfix for example with interval timer, and processor interfaces