{
  "bounded_copies": [
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 1,
      "source_hex": "",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "00007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 2,
      "source_hex": "",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "000000007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 4,
      "source_hex": "",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "00000000000000000000000000000000000000000000000000000000000000007e7e7e7e7e7e7e7e",
      "capacity": 32,
      "source_hex": "",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 1,
      "source_hex": "41",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 2,
      "source_hex": "41",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "410000007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 4,
      "source_hex": "41",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "41000000000000000000000000000000000000000000000000000000000000007e7e7e7e7e7e7e7e",
      "capacity": 32,
      "source_hex": "41",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 1,
      "source_hex": "4142",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 2,
      "source_hex": "4142",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "414200007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 4,
      "source_hex": "4142",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "41420000000000000000000000000000000000000000000000000000000000007e7e7e7e7e7e7e7e",
      "capacity": 32,
      "source_hex": "4142",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 1,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "78007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 2,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 4,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e",
      "capacity": 32,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 1,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "78007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 2,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 4,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e",
      "capacity": 32,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 1,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "78007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 2,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 4,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e",
      "capacity": 32,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 1,
      "source_hex": "414200737566666978",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 2,
      "source_hex": "414200737566666978",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "414200007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 4,
      "source_hex": "414200737566666978",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "41420000000000000000000000000000000000000000000000000000000000007e7e7e7e7e7e7e7e",
      "capacity": 32,
      "source_hex": "414200737566666978",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 1,
      "source_hex": "fffefd",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "ff007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 2,
      "source_hex": "fffefd",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "fffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "capacity": 4,
      "source_hex": "fffefd",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    },
    {
      "buffer_hex": "fffefd00000000000000000000000000000000000000000000000000000000007e7e7e7e7e7e7e7e",
      "capacity": 32,
      "source_hex": "fffefd",
      "wrapper_trace_sha256": "56fbf071cfa7a155b5c67d57ae9100df91cd1f87d109333704be5967c48cc0b2"
    }
  ],
  "limits": "Actual36038 strlen and36185 strcpy over128 aligned/unaligned byte fixtures, plus actual69338 valid wrapper over32 cases with modeled native-103 strncpy. Source word lookahead requires initialized padding; strcpy fixtures are disjoint with initialized destination guards. Native copy/error/overlap ABI parity remains open.",
  "probes": [
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 0,
      "result_pointer": 0,
      "source_alignment": 0,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 1,
      "result_pointer": 0,
      "source_alignment": 0,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 2,
      "result_pointer": 0,
      "source_alignment": 0,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 31,
      "result_pointer": 0,
      "source_alignment": 0,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 32,
      "result_pointer": 0,
      "source_alignment": 0,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 63,
      "result_pointer": 0,
      "source_alignment": 0,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 2,
      "result_pointer": 0,
      "source_alignment": 0,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "fffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 3,
      "result_pointer": 0,
      "source_alignment": 0,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 0,
      "result_pointer": 1,
      "source_alignment": 0,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 1,
      "result_pointer": 1,
      "source_alignment": 0,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 2,
      "result_pointer": 1,
      "source_alignment": 0,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 31,
      "result_pointer": 1,
      "source_alignment": 0,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 32,
      "result_pointer": 1,
      "source_alignment": 0,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 63,
      "result_pointer": 1,
      "source_alignment": 0,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 2,
      "result_pointer": 1,
      "source_alignment": 0,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 3,
      "result_pointer": 1,
      "source_alignment": 0,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 0,
      "result_pointer": 2,
      "source_alignment": 0,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 1,
      "result_pointer": 2,
      "source_alignment": 0,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 2,
      "result_pointer": 2,
      "source_alignment": 0,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 31,
      "result_pointer": 2,
      "source_alignment": 0,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 32,
      "result_pointer": 2,
      "source_alignment": 0,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 63,
      "result_pointer": 2,
      "source_alignment": 0,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 2,
      "result_pointer": 2,
      "source_alignment": 0,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 3,
      "result_pointer": 2,
      "source_alignment": 0,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e7e7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 0,
      "result_pointer": 3,
      "source_alignment": 0,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e7e7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 1,
      "result_pointer": 3,
      "source_alignment": 0,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 2,
      "result_pointer": 3,
      "source_alignment": 0,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 31,
      "result_pointer": 3,
      "source_alignment": 0,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7e7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 32,
      "result_pointer": 3,
      "source_alignment": 0,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e7e7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 63,
      "result_pointer": 3,
      "source_alignment": 0,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 2,
      "result_pointer": 3,
      "source_alignment": 0,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 3,
      "result_pointer": 3,
      "source_alignment": 0,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 0,
      "result_pointer": 0,
      "source_alignment": 1,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 1,
      "result_pointer": 0,
      "source_alignment": 1,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 2,
      "result_pointer": 0,
      "source_alignment": 1,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 31,
      "result_pointer": 0,
      "source_alignment": 1,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 32,
      "result_pointer": 0,
      "source_alignment": 1,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 63,
      "result_pointer": 0,
      "source_alignment": 1,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 2,
      "result_pointer": 0,
      "source_alignment": 1,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "fffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 3,
      "result_pointer": 0,
      "source_alignment": 1,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 0,
      "result_pointer": 1,
      "source_alignment": 1,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 1,
      "result_pointer": 1,
      "source_alignment": 1,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 2,
      "result_pointer": 1,
      "source_alignment": 1,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 31,
      "result_pointer": 1,
      "source_alignment": 1,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 32,
      "result_pointer": 1,
      "source_alignment": 1,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 63,
      "result_pointer": 1,
      "source_alignment": 1,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 2,
      "result_pointer": 1,
      "source_alignment": 1,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 3,
      "result_pointer": 1,
      "source_alignment": 1,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 0,
      "result_pointer": 2,
      "source_alignment": 1,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 1,
      "result_pointer": 2,
      "source_alignment": 1,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 2,
      "result_pointer": 2,
      "source_alignment": 1,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 31,
      "result_pointer": 2,
      "source_alignment": 1,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 32,
      "result_pointer": 2,
      "source_alignment": 1,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 63,
      "result_pointer": 2,
      "source_alignment": 1,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 2,
      "result_pointer": 2,
      "source_alignment": 1,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 3,
      "result_pointer": 2,
      "source_alignment": 1,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e7e7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 0,
      "result_pointer": 3,
      "source_alignment": 1,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e7e7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 1,
      "result_pointer": 3,
      "source_alignment": 1,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 2,
      "result_pointer": 3,
      "source_alignment": 1,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 31,
      "result_pointer": 3,
      "source_alignment": 1,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7e7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 32,
      "result_pointer": 3,
      "source_alignment": 1,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e7e7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 63,
      "result_pointer": 3,
      "source_alignment": 1,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 2,
      "result_pointer": 3,
      "source_alignment": 1,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 3,
      "result_pointer": 3,
      "source_alignment": 1,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 0,
      "result_pointer": 0,
      "source_alignment": 2,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 1,
      "result_pointer": 0,
      "source_alignment": 2,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 2,
      "result_pointer": 0,
      "source_alignment": 2,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 31,
      "result_pointer": 0,
      "source_alignment": 2,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 32,
      "result_pointer": 0,
      "source_alignment": 2,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 63,
      "result_pointer": 0,
      "source_alignment": 2,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 2,
      "result_pointer": 0,
      "source_alignment": 2,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "fffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 3,
      "result_pointer": 0,
      "source_alignment": 2,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 0,
      "result_pointer": 1,
      "source_alignment": 2,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 1,
      "result_pointer": 1,
      "source_alignment": 2,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 2,
      "result_pointer": 1,
      "source_alignment": 2,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 31,
      "result_pointer": 1,
      "source_alignment": 2,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 32,
      "result_pointer": 1,
      "source_alignment": 2,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 63,
      "result_pointer": 1,
      "source_alignment": 2,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 2,
      "result_pointer": 1,
      "source_alignment": 2,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 3,
      "result_pointer": 1,
      "source_alignment": 2,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 0,
      "result_pointer": 2,
      "source_alignment": 2,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 1,
      "result_pointer": 2,
      "source_alignment": 2,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 2,
      "result_pointer": 2,
      "source_alignment": 2,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 31,
      "result_pointer": 2,
      "source_alignment": 2,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 32,
      "result_pointer": 2,
      "source_alignment": 2,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 63,
      "result_pointer": 2,
      "source_alignment": 2,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 2,
      "result_pointer": 2,
      "source_alignment": 2,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 3,
      "result_pointer": 2,
      "source_alignment": 2,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e7e7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 0,
      "result_pointer": 3,
      "source_alignment": 2,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e7e7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 1,
      "result_pointer": 3,
      "source_alignment": 2,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 2,
      "result_pointer": 3,
      "source_alignment": 2,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 31,
      "result_pointer": 3,
      "source_alignment": 2,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7e7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 32,
      "result_pointer": 3,
      "source_alignment": 2,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e7e7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 63,
      "result_pointer": 3,
      "source_alignment": 2,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 2,
      "result_pointer": 3,
      "source_alignment": 2,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 3,
      "result_pointer": 3,
      "source_alignment": 2,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 0,
      "result_pointer": 0,
      "source_alignment": 3,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 1,
      "result_pointer": 0,
      "source_alignment": 3,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 2,
      "result_pointer": 0,
      "source_alignment": 3,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 31,
      "result_pointer": 0,
      "source_alignment": 3,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 32,
      "result_pointer": 0,
      "source_alignment": 3,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 63,
      "result_pointer": 0,
      "source_alignment": 3,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 2,
      "result_pointer": 0,
      "source_alignment": 3,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "fffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 0,
      "length": 3,
      "result_pointer": 0,
      "source_alignment": 3,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 0,
      "result_pointer": 1,
      "source_alignment": 3,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 1,
      "result_pointer": 1,
      "source_alignment": 3,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 2,
      "result_pointer": 1,
      "source_alignment": 3,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 31,
      "result_pointer": 1,
      "source_alignment": 3,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 32,
      "result_pointer": 1,
      "source_alignment": 3,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 63,
      "result_pointer": 1,
      "source_alignment": 3,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 2,
      "result_pointer": 1,
      "source_alignment": 3,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 1,
      "length": 3,
      "result_pointer": 1,
      "source_alignment": 3,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 0,
      "result_pointer": 2,
      "source_alignment": 3,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 1,
      "result_pointer": 2,
      "source_alignment": 3,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 2,
      "result_pointer": 2,
      "source_alignment": 3,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 31,
      "result_pointer": 2,
      "source_alignment": 3,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 32,
      "result_pointer": 2,
      "source_alignment": 3,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 63,
      "result_pointer": 2,
      "source_alignment": 3,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 2,
      "result_pointer": 2,
      "source_alignment": 3,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 2,
      "length": 3,
      "result_pointer": 2,
      "source_alignment": 3,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    },
    {
      "buffer_hex": "7e7e7e007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 0,
      "result_pointer": 3,
      "source_alignment": 3,
      "source_hex": "",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 32,
        "trace_sha256": "6178cd851ca4d6ded52e508594ac695da4278b53d38e0a0a832bb1032933a4b8"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 23,
        "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
      }
    },
    {
      "buffer_hex": "7e7e7e41007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 1,
      "result_pointer": 3,
      "source_alignment": 3,
      "source_hex": "41",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "b16d7532ab4ffcb05a782243254d95ff241737dc81c1644bef177246a44c36f9"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 37,
        "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
      }
    },
    {
      "buffer_hex": "7e7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 2,
      "result_pointer": 3,
      "source_alignment": 3,
      "source_hex": "4142",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e7e78787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 31,
      "result_pointer": 3,
      "source_alignment": 3,
      "source_hex": "78787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 369,
        "trace_sha256": "16fa2844121f68c64be2dbfff22ba0a9699d654f850b7a505084774bcb65087d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 336,
        "trace_sha256": "6bd25946a3dc448d14c1e29d2f4fbd1878a91881e32e6dab37b454e51758ae8e"
      }
    },
    {
      "buffer_hex": "7e7e7e7878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 32,
      "result_pointer": 3,
      "source_alignment": 3,
      "source_hex": "7878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 400,
        "trace_sha256": "f0b2a43974b4d7bb14c186ef97f31cfe239987c0a842795deca72b5a70d8638e"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 351,
        "trace_sha256": "b5df56e509ca1751636a17709152c512c89862b7eb635d422ae04ecc1512c14a"
      }
    },
    {
      "buffer_hex": "7e7e7e787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 63,
      "result_pointer": 3,
      "source_alignment": 3,
      "source_hex": "787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878787878",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 737,
        "trace_sha256": "526cd8fea2d0b22c0e07a7387fa80645d969b401b2a42bb28a53264fbc281ebb"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 664,
        "trace_sha256": "c6f8bd1490184f8a91ac76289201a6f071e39c318e72f4b013294a644b146b98"
      }
    },
    {
      "buffer_hex": "7e7e7e4142007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 2,
      "result_pointer": 3,
      "source_alignment": 3,
      "source_hex": "414200737566666978",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "9ea6f7d1c4175685675c7de4d17f021526a71ca91d6f03681f6df93ab7dce45d"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 43,
        "trace_sha256": "e9c82bdb2026c1106640d5bb7321d23bee198ce90359f4182e58182b55a1e2f1"
      }
    },
    {
      "buffer_hex": "7e7e7efffefd007e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e",
      "dest_alignment": 3,
      "length": 3,
      "result_pointer": 3,
      "source_alignment": 3,
      "source_hex": "fffefd",
      "strcpy_execution": {
        "trace": null,
        "trace_length": 47,
        "trace_sha256": "993e1a6479cf34bc68c5b4f94c87465228fef5723d8fcd684f577813e019af88"
      },
      "strlen_execution": {
        "trace": null,
        "trace_length": 49,
        "trace_sha256": "a34822537e467d80a627d79dfb82b5dcdfdb8a7b145ab5dc61ea78b29bddcbe3"
      }
    }
  ],
  "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
  "source": {
    "archive": "zUrT43_qvm.pk3",
    "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
    "member": {
      "bytes": 983300,
      "comment_hex": "",
      "compressed_bytes": 246560,
      "compression": 8,
      "crc32": "98ea1768",
      "create_system": 0,
      "create_version": 63,
      "date_time": [
        2018,
        6,
        18,
        22,
        11,
        50
      ],
      "directory": false,
      "entry_index": 2,
      "external_attr": 32,
      "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
      "extract_version": 20,
      "flags": 0,
      "header_offset": 221309,
      "internal_attr": 0,
      "occurrence": 0,
      "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
      "path": "vm/qagame.qvm",
      "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
      "type": "member",
      "volume": 0
    }
  }
}