replace_random     83 lib/readline/win32fixes.h #define random() (long)replace_random()
replace_random     84 lib/readline/win32fixes.h #define rand() replace_random()
replace_random     85 lib/readline/win32fixes.h int replace_random();