random.h: declare erandom function