Control flow state sequence monitored (e.g., watchdog processor for control-flow checking)