stdio.h: Use arc4random() instead of random()