public static void Init()
 {
     VerifierSettings.IgnoreStackTrack();
 }