changed awk's rand() to use these. fixed a bug of registering rand() with a wrong number of arguments in StdAwk.