Damiano: finished the first working version of the IDA-ICE interfacer -- needs debug