int main() {
  char* invalid = (char*)0x12345678;
  char c = *invalid;
}

int onetwothree() {
  return 123;
}