public InfoException(string message, std_core._exception_info info) : base(message) { this.info = info; }
public static InfoException ExnException(string message, std_core._exception_info info) { return(new InfoException(message, info)); }