IMO, you to need to make ThreadID, ProcessID and TopicID a distinct types.
    
    
    type
      ThreadID* = distinct range[0..MAX_THREADS-1] ## Thread ID, within process.
      ProcessID* = distinct range[0..MAX_PROCESSES-1] ## Process ID of thread.
      TopicID* = distinct range[0..MAX_TOPICS-1] ## TopicID, within thread.
    

Reply via email to