Damiano: finished the first complete version of the IDA ICE interfacer,
to be tested