{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "id": "r678764202",
   "type": "rectangle",
   "x": 40,
   "y": 55,
   "width": 340,
   "height": 190,
   "angle": 0,
   "strokeColor": "#e8e1d3",
   "backgroundColor": "#fbfaf6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 219646125,
   "versionNonce": 605431848,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1621848218",
   "type": "text",
   "x": 52,
   "y": 61,
   "width": 99.00000000000001,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1211502242,
   "versionNonce": 1834170507,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "ThreadSanitizer",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "ThreadSanitizer",
   "lineHeight": 1.25,
   "baseline": 12
  },
  {
   "id": "r411784419",
   "type": "rectangle",
   "x": 480,
   "y": 55,
   "width": 340,
   "height": 190,
   "angle": 0,
   "strokeColor": "#e8e1d3",
   "backgroundColor": "#fbfaf6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1528520861,
   "versionNonce": 42308271,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1672302730",
   "type": "text",
   "x": 492,
   "y": 61,
   "width": 52.800000000000004,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 97284285,
   "versionNonce": 1322566790,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Helgrind",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Helgrind",
   "lineHeight": 1.25,
   "baseline": 12
  },
  {
   "id": "r620963781",
   "type": "rectangle",
   "x": 60,
   "y": 90,
   "width": 300,
   "height": 40,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 173401912,
   "versionNonce": 1948722177,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1448840545",
   "type": "text",
   "x": 70,
   "y": 98,
   "width": 215.60000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 361758495,
   "versionNonce": 1273975896,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "compile-time instrumentation",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "compile-time instrumentation",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1708534406",
   "type": "rectangle",
   "x": 60,
   "y": 150,
   "width": 300,
   "height": 40,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 995152612,
   "versionNonce": 879581064,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1859480917",
   "type": "text",
   "x": 70,
   "y": 158,
   "width": 177.10000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 380447973,
   "versionNonce": 940186471,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "per-thread vector clock",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "per-thread vector clock",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1613083585",
   "type": "text",
   "x": 70,
   "y": 178,
   "width": 163.35000000000002,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1703519604,
   "versionNonce": 1522586962,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "updated at every sync point",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "updated at every sync point",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1482951328",
   "type": "rectangle",
   "x": 60,
   "y": 210,
   "width": 300,
   "height": 40,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 83713798,
   "versionNonce": 1601702645,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t746627639",
   "type": "text",
   "x": 70,
   "y": 218,
   "width": 215.60000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 739356068,
   "versionNonce": 1108117969,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "no happens-before edge found",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "no happens-before edge found",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t125334379",
   "type": "text",
   "x": 70,
   "y": 238,
   "width": 175.45000000000002,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 360620390,
   "versionNonce": 1353542877,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "between T1 write and T2 write",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "between T1 write and T2 write",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r915881351",
   "type": "rectangle",
   "x": 500,
   "y": 90,
   "width": 300,
   "height": 40,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1353533733,
   "versionNonce": 450119983,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1695360361",
   "type": "text",
   "x": 510,
   "y": 98,
   "width": 231.00000000000003,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1419744510,
   "versionNonce": 1037063731,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "binary re-translation (VEX IR)",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "binary re-translation (VEX IR)",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r508317476",
   "type": "rectangle",
   "x": 500,
   "y": 150,
   "width": 300,
   "height": 40,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1588709133,
   "versionNonce": 155864957,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t642465964",
   "type": "text",
   "x": 510,
   "y": 158,
   "width": 207.9,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 720524192,
   "versionNonce": 767066421,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "lockset per shared location",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "lockset per shared location",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1689697166",
   "type": "rectangle",
   "x": 500,
   "y": 210,
   "width": 300,
   "height": 40,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 385122786,
   "versionNonce": 774632064,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1664150916",
   "type": "text",
   "x": 510,
   "y": 218,
   "width": 207.9,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1076107897,
   "versionNonce": 716477331,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "location accessed under two",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "location accessed under two",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t617922214",
   "type": "text",
   "x": 510,
   "y": 238,
   "width": 151.25,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 610409186,
   "versionNonce": 273034487,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "non-overlapping lock sets",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "non-overlapping lock sets",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1021669836",
   "type": "rectangle",
   "x": 300,
   "y": 290,
   "width": 260,
   "height": 60,
   "angle": 0,
   "strokeColor": "#c0392b",
   "backgroundColor": "#fef3f0",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1069321099,
   "versionNonce": 501929827,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1025734571",
   "type": "text",
   "x": 310,
   "y": 298,
   "width": 315.70000000000005,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1858693017,
   "versionNonce": 685442495,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "data race reported at racy_counter.cpp:14",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "data race reported at racy_counter.cpp:14",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t390232606",
   "type": "text",
   "x": 310,
   "y": 318,
   "width": 127.05000000000001,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 686067636,
   "versionNonce": 489862853,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "independently derived",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "independently derived",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "a929160537",
   "type": "arrow",
   "x": 210,
   "y": 130,
   "width": 0,
   "height": 20,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 1830351849,
   "versionNonce": 222108961,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     20
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a389791393",
   "type": "arrow",
   "x": 210,
   "y": 190,
   "width": 0,
   "height": 20,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 675045261,
   "versionNonce": 310617802,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     20
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a583723900",
   "type": "arrow",
   "x": 650,
   "y": 130,
   "width": 0,
   "height": 20,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 636023814,
   "versionNonce": 918079320,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     20
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a1142000839",
   "type": "arrow",
   "x": 650,
   "y": 190,
   "width": 0,
   "height": 20,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 521889152,
   "versionNonce": 1033769014,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     20
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a410910770",
   "type": "arrow",
   "x": 210,
   "y": 250,
   "width": 130,
   "height": 40,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 455700175,
   "versionNonce": 590440241,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     130,
     40
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a1375909521",
   "type": "arrow",
   "x": 650,
   "y": 250,
   "width": 130,
   "height": 40,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 1800980883,
   "versionNonce": 924570600,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     -130,
     40
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "t1361962356",
   "type": "text",
   "x": 430,
   "y": 16,
   "width": 431.20000000000005,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1830225226,
   "versionNonce": 559374798,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "ThreadSanitizer vs. Helgrind: Two Mechanisms, One Report",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "ThreadSanitizer vs. Helgrind: Two Mechanisms, One Report",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1652113928",
   "type": "text",
   "x": 430,
   "y": 380,
   "width": 713.9000000000001,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#a06030",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1384766927,
   "versionNonce": 619439518,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "TSan reports only a conflict this run executed; Helgrind's lockset model can flag a lock-order risk no run has hit yet",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "TSan reports only a conflict this run executed; Helgrind's lockset model can flag a lock-order risk no run has hit yet",
   "lineHeight": 1.25,
   "baseline": 11
  }
 ],
 "appState": {
  "viewBackgroundColor": "#fdfbf7",
  "gridSize": null
 },
 "files": {}
}