@Override
public void annotationBoundary(AnnotationBoundaryMap map) {
accu[0] = accu[0].mergeWith(a.checkAnnotationBoundary(map, v));
abortIfIllFormed();
a.doAnnotationBoundary(map);
}
@Override
public void elementEnd() {
accu[0] = accu[0].mergeWith(a.checkElementEnd(v));