if (receive) {
match = recorder.playMatch(element, source.getBookmark());
source.setBookmark(recorder.playBookmark());
} else {
output.init(source);
int mindex = recorder.reserveMatchIndex(level, element, source.getBookmark(), parentNot, elementNot);
int bindex = recorder.reserveBookmarkIndex();
match = element.parse(level, source, not|parentNot|elementNot, caseSensitive, false);
match = match != elementNot;
recorder.set(level, source, element, bookmark, source.getBookmark(), source.getBestIndex(), mindex, bindex, match, parentNot, elementNot);
output.set(source, bookmark);