result: CONST 0
the contract defines x//0 as 0, so the folder does not raise. the python // would raise ZeroDivisionError.
