{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "id": "r14091552",
   "type": "rectangle",
   "x": 30,
   "y": 40,
   "width": 800,
   "height": 110,
   "angle": 0,
   "strokeColor": "#e8e1d3",
   "backgroundColor": "#fbfaf6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 717905672,
   "versionNonce": 890423794,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1331217233",
   "type": "text",
   "x": 42,
   "y": 46,
   "width": 165.0,
   "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": 1484441596,
   "versionNonce": 242610573,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "what the standard permits",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "what the standard permits",
   "lineHeight": 1.25,
   "baseline": 12
  },
  {
   "id": "r788483970",
   "type": "rectangle",
   "x": 30,
   "y": 160,
   "width": 800,
   "height": 150,
   "angle": 0,
   "strokeColor": "#e8e1d3",
   "backgroundColor": "#fbfaf6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1697455248,
   "versionNonce": 224881244,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t755536868",
   "type": "text",
   "x": 42,
   "y": 166,
   "width": 389.40000000000003,
   "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": 214775678,
   "versionNonce": 583962700,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "what a toolchain actually does \u2014 same source, same -O level",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "what a toolchain actually does \u2014 same source, same -O level",
   "lineHeight": 1.25,
   "baseline": 12
  },
  {
   "id": "r522631173",
   "type": "rectangle",
   "x": 60,
   "y": 66,
   "width": 740,
   "height": 50,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1415257492,
   "versionNonce": 203553393,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t659504243",
   "type": "text",
   "x": 70,
   "y": 74,
   "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": 787387134,
   "versionNonce": 1373234070,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "[dcl.fct.def.coroutine]",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "[dcl.fct.def.coroutine]",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1604672881",
   "type": "text",
   "x": 70,
   "y": 94,
   "width": 229.9,
   "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": 35389191,
   "versionNonce": 1250780841,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "\"MAY elide the frame when it can prove",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "\"MAY elide the frame when it can prove",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "t236969936",
   "type": "text",
   "x": 70,
   "y": 109,
   "width": 229.9,
   "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": 1904827777,
   "versionNonce": 576369577,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "the frame does not outlive the caller\"",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "the frame does not outlive the caller\"",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r276940198",
   "type": "rectangle",
   "x": 60,
   "y": 215,
   "width": 330,
   "height": 70,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1271039546,
   "versionNonce": 1767973557,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t422379224",
   "type": "text",
   "x": 70,
   "y": 223,
   "width": 77.0,
   "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": 1183812642,
   "versionNonce": 58335491,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Compiler A",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Compiler A",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t29867725",
   "type": "text",
   "x": 70,
   "y": 243,
   "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": 954003642,
   "versionNonce": 601604160,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "allocates on the heap",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "allocates on the heap",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "t1103278761",
   "type": "text",
   "x": 70,
   "y": 258,
   "width": 60.50000000000001,
   "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": 199402835,
   "versionNonce": 154837898,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "every call",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "every call",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1795545268",
   "type": "rectangle",
   "x": 430,
   "y": 215,
   "width": 330,
   "height": 70,
   "angle": 0,
   "strokeColor": "#a06030",
   "backgroundColor": "#faf0e6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 204272699,
   "versionNonce": 1860047413,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t816309460",
   "type": "text",
   "x": 440,
   "y": 223,
   "width": 77.0,
   "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": 1737435001,
   "versionNonce": 644127068,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Compiler B",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Compiler B",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1341767969",
   "type": "text",
   "x": 440,
   "y": 243,
   "width": 96.80000000000001,
   "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": 1713833558,
   "versionNonce": 332932639,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "elides the frame",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "elides the frame",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "t148849311",
   "type": "text",
   "x": 440,
   "y": 258,
   "width": 60.50000000000001,
   "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": 1192076227,
   "versionNonce": 758382954,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "every call",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "every call",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1132754029",
   "type": "rectangle",
   "x": 30,
   "y": 325,
   "width": 800,
   "height": 55,
   "angle": 0,
   "strokeColor": "#c0392b",
   "backgroundColor": "#fef3f0",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1223362851,
   "versionNonce": 1617898971,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t829336543",
   "type": "text",
   "x": 40,
   "y": 333,
   "width": 200.20000000000002,
   "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": 374463420,
   "versionNonce": 1973184952,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "measure your own toolchain",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "measure your own toolchain",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1743773959",
   "type": "text",
   "x": 40,
   "y": 353,
   "width": 284.35,
   "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": 1948660275,
   "versionNonce": 443656032,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "overload operator new in promise_type and count",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "overload operator new in promise_type and count",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "a555512051",
   "type": "arrow",
   "x": 390,
   "y": 250,
   "width": 40,
   "height": 0,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 1979100881,
   "versionNonce": 1821558611,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     40,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "t759093705",
   "type": "text",
   "x": 430,
   "y": 14,
   "width": 284.90000000000003,
   "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": 9510028,
   "versionNonce": 1111954267,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "HALO is a permission, not a guarantee",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "HALO is a permission, not a guarantee",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t195827039",
   "type": "text",
   "x": 430,
   "y": 128,
   "width": 320.65000000000003,
   "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": 795042699,
   "versionNonce": 551291813,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "may \u2014 no conforming program may assume elision occurs",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "may \u2014 no conforming program may assume elision occurs",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "t1271311085",
   "type": "text",
   "x": 430,
   "y": 186,
   "width": 393.25000000000006,
   "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": 591284795,
   "versionNonce": 390676660,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "identical standard, identical optimization flag, different answer",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "identical standard, identical optimization flag, different answer",
   "lineHeight": 1.25,
   "baseline": 11
  }
 ],
 "appState": {
  "viewBackgroundColor": "#fdfbf7",
  "gridSize": null
 },
 "files": {}
}