 |abin omatch: can't happen
