Zaslat SMS: Experience with Multiple Processor Versions of Concurrent C