Dear all, >> A build failure seems a bit like a deal breaker Sorry for this. I have just pushed a fix to the Turing repository to remove bool type from the libturing APIs. The patch builds and runs fine now in our tests. Thanks, Saverio