This is something that we have wanted for a long time and will enable us to remove some hacks from the compiler (i.e. how we determine in the ARC optimizer that we have "fatalError" like function) and also express new things like "noarc".