" f CS r-b p ^ s crc ?r p 64.