Post says the driver was benched at 25k rps. But yeah that C implementation sucks.