to-ir.py