int foo() {
  return 1 + 2;
}