typedef int bar;
int foo() {
  return 2+ (bar) 3.0;
}