- * - next 8 bits are read thread id
- * - next 23 bits are read clock vector
- * - next 8 bits are write thread id
- * - next 23 bits are write clock vector
+ * - next 6 bits are read thread id
+ * - next 25 bits are read clock vector
+ * - next 6 bits are write thread id
+ * - next 25 bits are write clock vector
+ * - highest bit is 1 if the write is from an atomic