
======= yul_verbatim/input.yul (EVM) =======

Pretty printed source:
object "object" {
    code {
        let x := 2
        let y := sub(x, 2)
        let t := verbatim_2i_1o("abc", x, y)
        sstore(t, x)
        let r := verbatim_0i_1o("def")
        verbatim_0i_0o("xyz")
        verbatim_0i_0o("\x01\x02\x03\x04\x05\x06\x07\t\x00\x01\x02\x03\x04\x05\x06\x07\t\x00\x01\x02\x03\x04\x05\x06\x07\t\x00\x01\x02\x01\x02\x03\x04\x05\x06\x07\t\x00\x01\x02\x03\x04\x05\x06\x07\t\x00\x01\x02\x03\x04\x05\x06\x07\t\x00\x01\x02")
        r := 9
    }
}


Binary representation:
6002808103808261626382815564656678797a010203040506070900010203040506070900010203040506070900010201020304050607090001020304050607090001020304050607090001026009905050505050

Text representation:
    /* "yul_verbatim/input.yul":15:16   */
  0x02
    /* "yul_verbatim/input.yul":37:38   */
  dup1
    /* "yul_verbatim/input.yul":34:35   */
  dup2
    /* "yul_verbatim/input.yul":30:39   */
  sub
    /* "yul_verbatim/input.yul":78:79   */
  dup1
    /* "yul_verbatim/input.yul":75:76   */
  dup3
    /* "yul_verbatim/input.yul":53:80   */
  verbatimbytecode_616263
    /* "yul_verbatim/input.yul":95:96   */
  dup3
    /* "yul_verbatim/input.yul":92:93   */
  dup2
    /* "yul_verbatim/input.yul":85:97   */
  sstore
    /* "yul_verbatim/input.yul":111:132   */
  verbatimbytecode_646566
    /* "yul_verbatim/input.yul":137:158   */
  verbatimbytecode_78797a
    /* "yul_verbatim/input.yul":189:326   */
  verbatimbytecode_01020304050607090001020304050607090001020304050607090001020102030405060709000102030405060709000102030405060709000102
    /* "yul_verbatim/input.yul":336:337   */
  0x09
    /* "yul_verbatim/input.yul":331:337   */
  swap1
  pop
    /* "yul_verbatim/input.yul":0:339   */
  pop
  pop
  pop
  pop
