random-internal.h
