DOC: update header in rand_r.c