int main() {
  char *ptr = "unused";
  // break here
  return 0;
}