int foo() __REMOVED_IN(12);