private void EnlistmentDone(int enlistmentIdentifier) { WriteEvent(ENLISTMENT_DONE_EVENTID, enlistmentIdentifier); } #endregion