micropython/tests/basics/bytes_add_endian.py

# test bytes + other

import array

print(b"123" + array.array('i', [1]))