I guess iccid is defined in another place in the file