!7

p-exp {
  PatternSyntaxException e = cast getException(r { Pattern.compile("(bla") });
  S pat = e.getPattern();
  int i = e.getIndex();
  print(substring(pat, 0, i) + " !!! " + substring(pat, i));
}