!759 p { S s = "abc"; new Matches m; if "abc | def" { /* ok */ } else fail(); if "def | abc" { /* ok */ } else fail(); if "xyz | def" fail(); print("OK"); }