Use inline assembly to rewrite the prng function