Delphin.loadFile ("examples-delphin/carsten/mini-ml/mini-ml.elf", "examples-delphin/carsten/mini-ml/identity.delphin");
Delphin.loadFile ("examples-delphin/carsten/mini-ml/mini-ml.elf", "examples-delphin/carsten/mini-ml/add.delphin");
Delphin.loadFile ("examples-delphin/carsten/mini-ml/mini-ml.elf", "examples-delphin/carsten/mini-ml/count.delphin");