!7

p-exp {
  PatternSyntaxException e = cast getException(r { Pattern.compile("(bla") });
  print(wrapPatternSyntaxException(e));
}