random-inl.h