RETGUARD_LOAD_RANDOM
RETGUARD_LOAD_RANDOM(x, reg); \
RETGUARD_LOAD_RANDOM(x, x9); \
RETGUARD_LOAD_RANDOM(x, %r10); \