ISL code infoq.py