Trying to de-obfuscate cable2, one of winning entries in the 22nd International Obfustucated C Code Contest (2013)