let string_of_message_from_worker =
    function
      | AckExit -> "AckExit"
      | Log _ -> "Log _"
      | Lock _ -> "Lock _"
      | Unlock _ -> "Unlock _"
      | TestDone _ -> "TestDone _"