//#Safe

/*
  Author: Frank Schüssele (schuessf@informatik.uni-freiburg.de)
  Date: 2022-11-15
*/

int main() {
  char c = "abc"[1];
  //@ assert c == 98;
}