import "Prelude"

main = match "abc123def" with
      "abc\(x)fed" -> "X\(x)"
      "cba\(x)def" -> "Y\(x)"
      "abc\(x)def" -> "Z\(x)"
      x            -> "W\(x)"
--
Z123