A pro surfer was bitten by a shark.