public static void AssumeNoException(string msg, Exception e) { //RandomizedTest.AssumeNoException(msg, e); }