Damiano: started implementing the IDA-ICE converter for the 'virtual testbed'