/// <summary>
/// Used for fatal errors (print message and exit).
/// </summary>
/// <param name="code">The message code.</param>
/// <param name="args">The parameters of message.</param>
public void ERREXIT(int code, params object[] args)
{
m_err.m_msg_code = code;
m_err.m_msg_parm = args;
m_err.error_exit();
}