Update int_ext.py