GSoC code for BinPy for IC 7441