CORE: automaton maneuvers