{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r1795308423", "type": "rectangle", "x": 20, "y": 20, "width": 900, "height": 400, "angle": 0, "strokeColor": "#dddddd", "backgroundColor": "#fafafa", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1265389281, "versionNonce": 1621905117, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "r1377278247", "type": "rectangle", "x": 140, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1806350969, "versionNonce": 37132363, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1892278996", "type": "text", "x": 150, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 615930997, "versionNonce": 591322110, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "0", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "0", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1844006356", "type": "rectangle", "x": 190, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1466011700, "versionNonce": 645900241, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1921964798", "type": "text", "x": 200, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1037467018, "versionNonce": 1178255260, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "1", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "1", "lineHeight": 1.25, "baseline": 14 }, { "id": "r763640696", "type": "rectangle", "x": 240, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1958458373, "versionNonce": 155270866, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t207759467", "type": "text", "x": 250, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1943171300, "versionNonce": 430481774, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "2", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "2", "lineHeight": 1.25, "baseline": 14 }, { "id": "r277266720", "type": "rectangle", "x": 290, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1007156244, "versionNonce": 897810309, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t89081383", "type": "text", "x": 300, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1692717358, "versionNonce": 319264135, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "3", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "3", "lineHeight": 1.25, "baseline": 14 }, { "id": "r244492372", "type": "rectangle", "x": 340, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1817075569, "versionNonce": 1849699423, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t917455385", "type": "text", "x": 350, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1430645237, "versionNonce": 883510614, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "4", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "4", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1724432945", "type": "rectangle", "x": 390, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 12297048, "versionNonce": 1721627207, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t308328436", "type": "text", "x": 400, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1281565448, "versionNonce": 1790224455, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "5", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "5", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1733761343", "type": "rectangle", "x": 440, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1095781619, "versionNonce": 924652655, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t107798609", "type": "text", "x": 450, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 128642948, "versionNonce": 394970373, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "6", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "6", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1331077401", "type": "rectangle", "x": 490, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 516923497, "versionNonce": 1477282503, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1188596979", "type": "text", "x": 500, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 657595380, "versionNonce": 1967263558, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "7", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "7", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1129695651", "type": "rectangle", "x": 540, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#999999", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1451819205, "versionNonce": 1089043755, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1204462556", "type": "text", "x": 550, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 703259918, "versionNonce": 693725210, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "8", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "8", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1544135756", "type": "rectangle", "x": 590, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#999999", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1236781604, "versionNonce": 86919221, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1924864518", "type": "text", "x": 600, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1111029466, "versionNonce": 851861170, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "9", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "9", "lineHeight": 1.25, "baseline": 14 }, { "id": "r761989265", "type": "rectangle", "x": 640, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#999999", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 28767753, "versionNonce": 37269439, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1734160921", "type": "text", "x": 650, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1105797078, "versionNonce": 241404891, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "10", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "10", "lineHeight": 1.25, "baseline": 14 }, { "id": "r895790713", "type": "rectangle", "x": 690, "y": 130, "width": 50, "height": 50, "angle": 0, "strokeColor": "#999999", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 626145693, "versionNonce": 33978623, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t771836645", "type": "text", "x": 700, "y": 138, "width": 40, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 322155064, "versionNonce": 1024333659, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "11", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "11", "lineHeight": 1.25, "baseline": 14 }, { "id": "r502657901", "type": "rectangle", "x": 140, "y": 80, "width": 200, "height": 32, "angle": 0, "strokeColor": "#999999", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1330668796, "versionNonce": 920136295, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1236190982", "type": "text", "x": 150, "y": 88, "width": 177.10000000000002, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 924910085, "versionNonce": 553504706, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "magic: u32 (bytes 0..4)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "magic: u32 (bytes 0..4)", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1496332201", "type": "rectangle", "x": 340, "y": 80, "width": 200, "height": 32, "angle": 0, "strokeColor": "#999999", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 132156821, "versionNonce": 1653677319, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t272413532", "type": "text", "x": 350, "y": 88, "width": 177.10000000000002, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1274065329, "versionNonce": 909361679, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "slots: u32 (bytes 4..8)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "slots: u32 (bytes 4..8)", "lineHeight": 1.25, "baseline": 14 }, { "id": "r935732448", "type": "rectangle", "x": 140, "y": 220, "width": 400, "height": 100, "angle": 0, "strokeColor": "#2f6db5", "backgroundColor": "#eef4fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1951770563, "versionNonce": 790058571, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1416852542", "type": "text", "x": 150, "y": 228, "width": 261.8, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 322949680, "versionNonce": 809538539, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "SOUND: read_record(buf, oob=false)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "SOUND: read_record(buf, oob=false)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t205910875", "type": "text", "x": 150, "y": 248, "width": 217.8, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 243456976, "versionNonce": 1927654983, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "read_unaligned::(ptr.add(0))", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "read_unaligned::(ptr.add(0))", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1361350683", "type": "text", "x": 150, "y": 263, "width": 278.3, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 178050525, "versionNonce": 1426135186, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "window [0..8) -- fully inside the 8-byte alloc", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "window [0..8) -- fully inside the 8-byte alloc", "lineHeight": 1.25, "baseline": 11 }, { "id": "t159416715", "type": "text", "x": 150, "y": 278, "width": 229.9, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1168130719, "versionNonce": 1540086448, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "cargo +nightly miri run: exit 0, no UB", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "cargo +nightly miri run: exit 0, no UB", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1381695497", "type": "rectangle", "x": 340, "y": 340, "width": 400, "height": 100, "angle": 0, "strokeColor": "#e8870c", "backgroundColor": "#fff8ef", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 294638709, "versionNonce": 1134377662, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1038069525", "type": "text", "x": 350, "y": 348, "width": 292.6, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1214450770, "versionNonce": 108258568, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "--oob-read: read_record(buf, oob=true)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "--oob-read: read_record(buf, oob=true)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t38770828", "type": "text", "x": 350, "y": 368, "width": 217.8, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1642667589, "versionNonce": 674302995, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "read_unaligned::(ptr.add(4))", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "read_unaligned::(ptr.add(4))", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1032456740", "type": "text", "x": 350, "y": 383, "width": 284.35, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 522013982, "versionNonce": 48437328, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "window [4..12) -- 4 bytes past the 8-byte alloc", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "window [4..12) -- 4 bytes past the 8-byte alloc", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1013315576", "type": "text", "x": 350, "y": 398, "width": 405.35, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1726761586, "versionNonce": 571366818, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "miri: \"...only 4 bytes from the end of the allocation\" (main.rs:57)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "miri: \"...only 4 bytes from the end of the allocation\" (main.rs:57)", "lineHeight": 1.25, "baseline": 11 }, { "id": "a900229483", "type": "arrow", "x": 140, "y": 220, "width": 0, "height": 40, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 596671473, "versionNonce": 1546929851, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -40 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a818092179", "type": "arrow", "x": 540, "y": 220, "width": 0, "height": 40, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1064955016, "versionNonce": 1661940375, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -40 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1836087373", "type": "arrow", "x": 340, "y": 340, "width": 0, "height": 160, "angle": 0, "strokeColor": "#b8650a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 721564994, "versionNonce": 675698167, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -160 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1849952495", "type": "arrow", "x": 740, "y": 340, "width": 0, "height": 160, "angle": 0, "strokeColor": "#b8650a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1014756658, "versionNonce": 1659613510, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -160 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1636156380", "type": "text", "x": 140, "y": 50, "width": 402.6, "height": 15.0, "angle": 0, "strokeColor": "#1d1d1d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1465098689, "versionNonce": 1806989027, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "BUF: [u8; 8] -- one 8-byte stack allocation (miri: \"alloc25\")", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "BUF: [u8; 8] -- one 8-byte stack allocation (miri: \"alloc25\")", "lineHeight": 1.25, "baseline": 12 }, { "id": "t130616436", "type": "text", "x": 540, "y": 135, "width": 115.50000000000001, "height": 12.5, "angle": 0, "strokeColor": "#b8650a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 592885482, "versionNonce": 702506145, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "end of the allocation", "fontSize": 10, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "end of the allocation", "lineHeight": 1.25, "baseline": 10 }, { "id": "t987660289", "type": "text", "x": 540, "y": 190, "width": 181.50000000000003, "height": 13.75, "angle": 0, "strokeColor": "#b8650a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1800387609, "versionNonce": 1292936478, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "past the end (never allocated)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "past the end (never allocated)", "lineHeight": 1.25, "baseline": 11 } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": null }, "files": {} }