int get_value() {
  throw 42;
  return 0;
}