public @interface Catastrophic {}