!759

p {
  S s = "abc";
  if "abc | def" { /* ok */ } else fail();
  if "def | abc" { /* ok */ } else fail();
  if "xyz | def" fail();
}