fact: Parameter RuntimeException NullPointerException ArrayIndexOutOfBoundsException ArrayStoreException NegativeArraySizeException ClassCastException ArithmeticException : ShortClassName.
imports: Coq(List) Coq(ZArith) Coq(Relation_Operators)