Map(
    [
        (
            Integer(
                0,
            ),
            Bytes(
                [
                    72,
                    101,
                    121,
                ],
            ),
        ),
        (
            Integer(
                1,
            ),
            Bytes(
                [
                    84,
                    104,
                    101,
                    114,
                    101,
                ],
            ),
        ),
        (
            Integer(
                2,
            ),
            Bytes(
                [
                    70,
                    111,
                    111,
                ],
            ),
        ),
        (
            Integer(
                3,
            ),
            Bytes(
                [
                    66,
                    97,
                    114,
                ],
            ),
        ),
    ],
)