Code:

    ...
      else
        TXT_Printf(stderr, SEV_ERROR, "Unknown error.\n");
    exit(result.errorCode);

Tsk, always brace, could be a macro!

Rob