int bar();

double hello() {
  int foobar = bar() + 123;
  return (double)foobar;
}