So leaving this unspecified is probably the right thing, but I think
including another feature to say whether POSIX semantics were
used would have been useful. In the meantime it's simple enough
to test programmatically with your example - all of the backtracking
algorithms will get this wrong: