 |abcdin omatch: can't happen
