micropython/tests/basics/list_mult.py