Maybe it might be better to be implemented as a function attribute instead
Or a pragma? Like how OpenMP did it?