code to check RndA' from PICC was unreachable