Fixing <random> includes and adding new slicing for gen_sn_eos.