class C {
  String empty = """
\a\\""";
}