... Error (Definite Type A Alarm) is reported. This ... Conversion is done as follows: fold1, fold2 fold3 is ... synchronisation reads and writes to the Klocwork ...