The Enterrupt back-end, written in PeopleCode.