void rnd64( int n ) {
    dXSARGS;
    static unsigned __int64 y = 88172645463325252i64;

    EXTEND( SP, n );
    while( n-- ) {
        y ^= y << 13;
        y ^= y >> 7;
        y ^= y << 17;
        mPUSHu( y );
    }
    PUTBACK;
    return;
}