gcc/libstdc++-v3/config/cpu/aarch64/opt/bits
..
opt_random.h