Add header for arc4random.