Only one top-level processor. #774