Edit File: archrandom.h