mikehearn
String tmp1 = "Failed requirement."; throw (Throwable)(new IllegalArgumentException(tmp1.toString()));