- i -

• init_rng() : system.cc, system.h
• instrset_detect() : main.h