Candidates for tagged-exception-core