allocatestate
rand3_state = allocatestate(TYPE_3);
struct __random_state *allocatestate(unsigned type);