compilation into HEXes, improved translation