rewrite prng in inline assembly form