Update Binary_Translator.py