micropython/tests/basics/int-divzero.py

try:
    1 // 0
except ZeroDivisionError:
    print("ZeroDivisionError")