Vyper example for talk (filenames suffixed with .py to trigger syntax highlighter)

foo.lll.py

[seq,
  [return,
    0,
    [lll,
      [seq,
        [mstore, 28, [calldataload, 0]],
        [mstore, 32, 1461501637330902918203684832716283019655932542976],
        [mstore, 64, 170141183460469231731687303715884105727],
        [mstore, 96, -170141183460469231731687303715884105728],
        [mstore, 128, 1701411834604692317316873037158841057270000000000],
        [mstore, 160, -1701411834604692317316873037158841057280000000000],
        # Line 2
        [if,
          [eq, [mload, 0], '801029432' <foo(uint256)>],
          [seq,
            [assert, [iszero, callvalue]],
            [mstore,
              320,
              [seq,
                # Line 4
                [assert, [ge, [add, [calldataload, '4' <v>], 4], [calldataload, '4' <v>]]],
                [add, [calldataload, '4' <v>], 4]]],
            # Line 5
            [mstore, 0, [mload, '320' <res>]],
            [seq_unchecked, [return, 0, 32]],
            # Line 2
            stop]],
        /* Default function */ [revert, 0, 0]],
      0]]]

foo.v.py

@public
def foo(v: uint256) -> uint256:
    res: uint256 = v + 4
    return res