#include <stdio.h>
#include <stdlib.h>

int
main (int argc, char **argv)
{
        char s[32];
        char *s2;
        long k;

        s2 = initstate(1234, s, 32);
        fprintf (stderr, "s: %p s2: %p\n", &s[0], s2);
        setstate(s2);

        s2 = setstate(s);
        fprintf (stderr, "s: %p s2: %p\n", &s[0], s2);
        k = random();
        fprintf (stderr, "k: %d\n", k);
        setstate(s2);

}