Stav dette: Experience with Multiple Processor Versions of Concurrent C