int foo() {
  return 1;
}