REPLACE_RANDOM    876 maint/gnulib/lib/stdlib.in.h # if @REPLACE_RANDOM@
REPLACE_RANDOM    901 maint/gnulib/lib/stdlib.in.h # if @REPLACE_RANDOM@