FunctionCall(__BLAST_initialize_driver1.c())
true
Block(STATUS_SUCCESS = 0;STATUS_UNSUCCESSFUL = -1;lockStatus = 0;)
true
Block(Return(0);)
true
Skip
true
Block(IO_NO_INCREMENT@main = 3;devExt@main = &(devE);i@main = 0;)
true
Pred(i@main >= 10000)
true
FunctionCall(FSMLock())
true
Pred(lockStatus != 0)
true
FunctionCall(errorFn())
true