load_rand_xstate
load_rand_xstate(&xstate, xbuf);
load_rand_xstate(&xstate, xbuf);
load_rand_xstate(&xstate, xbuf);
load_rand_xstate(&xstate, xbuf1);
load_rand_xstate(&xstate, stashed_xbuf);