zero/randmt32.c should work right now :D