int foo() __INTRODUCED_IN(9);