Added header guard to random.h